Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- classical logic
- epistemic logic
- temporal reasoning
- spatial and temporal
- temporal information
- nonmonotonic logics
- abductive reasoning
- temporal constraints
- default logic
- temporal data
- spatio temporal
- situation calculus
- dynamic logic
- conditional logic
- relational databases
- modal operators
- explanation based generalization
- description logic alc
- initial state
- temporal databases
- temporal patterns
- programming language