An Investigation into the Expressive Power of PDDL2.1.
Maria FoxDerek LongKeith HalseyPublished in: ECAI (2004)
Keyphrases
- expressive power
- first order logic
- ai planning
- data complexity
- query language
- relational algebra
- planning domains
- situation calculus
- computational properties
- transitive closure
- relational calculus
- planning problems
- relation algebra
- knowledge representation
- constraint query languages
- artificial intelligence
- constraint satisfaction problems
- recursive queries
- aggregate functions