SAT-Based Decision Procedures for Classical Modal Logics.
Enrico GiunchigliaArmando TacchellaFausto GiunchigliaPublished in: J. Autom. Reason. (2002)
Keyphrases
- decision procedures
- modal logic
- temporal logic
- theorem proving
- automated reasoning
- inference rules
- model theoretic
- satisfiability problem
- answer set programming
- nonmonotonic logics
- default logic
- situation calculus
- tight complexity bounds
- artificial intelligence
- epistemic logic
- conjunctive queries
- integrity constraints
- knowledge representation
- answer sets
- sat solvers
- logic programming
- graphical models