Keyphrases
- logical properties
- logical language
- definition language
- situation calculus
- formal semantics
- model theoretic
- logical framework
- dynamic logic
- logical theories
- logical rules
- ai planning
- predicate calculus
- logical structure
- logical formulas
- planning problems
- logic programming
- search algorithm
- derived predicates
- planning domains
- conceptual model
- domain independent
- semantic information
- description logics