Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.
Ian HorrocksPeter F. Patel-SchneiderPublished in: J. Autom. Reason. (2002)
Keyphrases
- decision procedures
- modal logic
- default logic
- model theoretic
- temporal logic
- reasoning problems
- inference rules
- theorem proving
- automated reasoning
- quantified boolean formulas
- propositional logic
- first order logic
- conjunctive queries
- satisfiability testing
- satisfiability problem
- nonmonotonic reasoning
- propositional variables
- presburger arithmetic
- knowledge representation
- expert systems
- database systems
- artificial intelligence
- databases
- database