Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism.
Enrico GiunchigliaPublished in: KR (2000)
Keyphrases
- sensing actions
- sat encodings
- expressive power
- linear constraints
- planning domains
- action selection
- planning problems
- situation calculus
- propositional logic
- satisfiability problem
- sat solving
- htn planning
- global constraints
- computational complexity
- database systems
- derived predicates
- object oriented languages
- concurrent actions
- external events
- plan execution
- initial state
- concurrency control
- search algorithm
- action sequences
- constraint networks
- phase transition
- heuristic search
- concurrent execution
- state space
- search space
- knowledge representation languages
- satisfiability testing