Keyphrases
- modal logic
- durative actions
- temporal logic
- inference rules
- temporal constraints
- planning problems
- classical logic
- default logic
- epistemic logic
- situation calculus
- nonmonotonic logics
- conditional logic
- atomic actions
- general purpose
- temporal planning
- prime implicates
- qualitative and quantitative
- modal operators
- explanation based generalization
- model checking