93 search results - page 1 / 19 » Introducing Preferences in Planning as Satisfiability |
LOGCOM
2011
12 years 7 months ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
AAAI
2007
13 years 6 months ago
2007
CHI
2008
ACM
13 years 6 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
ECAI
2008
Springer
13 years 5 months ago
2008
Springer
In many domains successful execution of plans requires careful monitoring and repair. Diagnosis of plan execution supports this process by identifying causes of plan failure. Most ...
CONSTRAINTS
2010
13 years 1 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...