On the Expressive Power of Planning Formalisms in Conjunction with LTL.
Songtuan LinPascal BercherPublished in: ICAPS (2022)
Keyphrases
- expressive power
- computational properties
- query language
- first order logic
- data complexity
- transitive closure
- classical planning
- relational algebra
- temporal logic
- heuristic search
- knowledge representation
- planning problems
- relational calculus
- database query languages
- regular expressions
- knowledge base
- reasoning tasks
- constraint query languages