Modal Logics for Knowledge Representation Systems.
Dimiter VakarelovPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- knowledge representation systems
- modal logic
- description logics
- knowledge representation
- temporal logic
- knowledge base
- decision procedures
- inference rules
- nonmonotonic logics
- classical logic
- situation calculus
- epistemic logic
- model checking
- default logic
- data mining
- conditional logic
- expert systems
- dynamic logic
- artificial intelligence