Incremental Decision Procedures for Modal Logic with Nominals and Eventualities.
Gert SmolkaPublished in: Description Logics (2011)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- reasoning problems
- description logics
- situation calculus
- default logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- model theoretic
- tight complexity bounds
- dynamic logic
- machine learning
- model checking
- np hard
- special case
- data model
- prime implicates
- explanation based generalization
- database