Ground Nonmonotonic Modal Logics for Knowledge Representation.
Francesco M. DoniniDaniele NardiRiccardo RosatiPublished in: WOCFAI (1995)
Keyphrases
- modal logic
- knowledge representation
- nonmonotonic logics
- temporal logic
- decision procedures
- default logic
- inference rules
- autoepistemic logic
- logic programming
- classical logic
- expert systems
- automated reasoning
- semantic web
- epistemic logic
- artificial intelligence
- knowledge acquisition
- natural language
- knowledge base
- conditional logic
- situation calculus
- nonmonotonic reasoning
- model checking
- answer set programming
- probabilistic reasoning
- knowledge based systems
- query processing
- first order logic
- production rules
- machine learning
- definite clause