Keyphrases
- modal operators
- modal logic
- temporal logic
- description logics
- knowledge base
- nonmonotonic logics
- situation calculus
- partially ordered
- dynamic logic
- knowledge representation
- number restrictions
- inference rules
- decision procedures
- nonmonotonic reasoning
- learning algorithm
- default logic
- expert systems
- web services
- communicative acts