Planning as Satisfiability with Preferences.

Enrico Giunchiglia Marco Maratea

Published in: AAAI (2007)

Keyphrases

computational complexity
sat solving
satisfiability problem
conditional plans
external events
blocks world
goal oriented
planning problems
user preferences
heuristic search
motion planning
multiple criteria
np complete
mixed initiative
decision support
special case
decision making
data sets