Subnormal Modal Logics for Knowledge Representation.
Grigori SchwarzMiroslaw TruszczynskiPublished in: AAAI (1993)
Keyphrases
- modal logic
- knowledge representation
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- knowledge acquisition
- expert systems
- epistemic logic
- semantic web
- classical logic
- automated reasoning
- natural language processing
- logic programming
- machine learning
- knowledge base
- situation calculus
- first order logic
- knowledge based systems
- knowledge structures
- natural language
- artificial intelligence
- autoepistemic logic
- probabilistic reasoning
- description logics
- propositional logic
- production rules
- formal methods
- knowledge representation and reasoning