Introducing Preferences in Planning as Satisfiability.
Enrico GiunchigliaMarco MarateaPublished in: J. Log. Comput. (2011)
Keyphrases
- propositional logic
- conditional plans
- stochastic domains
- sat solving
- satisfiability problem
- decision making
- planning problems
- user preferences
- ai planning
- domain independent
- decision procedures
- heuristic search
- np complete
- motion planning
- planning process
- temporally extended
- data sets
- phase transition
- decision theoretic
- sat problem
- logic programs