Keyphrases
- logical properties
- definition language
- logical language
- situation calculus
- formal semantics
- logical theories
- logical framework
- dynamic logic
- logical rules
- ai planning
- predicate calculus
- planning problems
- belief revision
- operational semantics
- semantic information
- planning domains
- conceptual model
- orders of magnitude
- logical representation
- logic programming
- search space