Clausal Resolution for Modal Logics of Confluence.
Cláudia NalonJoão MarcosClare DixonPublished in: IJCAR (2014)
Keyphrases
- modal logic
- decision procedures
- temporal resolution
- temporal logic
- theorem proving
- inference rules
- epistemic logic
- nonmonotonic logics
- model checking
- classical logic
- model theoretic
- high resolution
- satisfiability problem
- spatial resolution
- situation calculus
- first order logic
- automated reasoning
- horn clauses
- temporal reasoning
- autoepistemic logic
- inductive logic programming
- conditional probabilities
- rewrite systems