Keyphrases
- knowledge base
- description logics
- epistemic logic
- modal logic
- model checking
- knowledge representation
- logical framework
- expert systems
- multi agent systems
- inference rules
- dynamic epistemic logic
- multi faceted
- temporal logic
- computation tree logic
- belief revision
- mathematical theory
- formal methods
- formal semantics
- situation calculus
- first order logic
- multi agent