Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.

Ian Horrocks Peter F. Patel-Schneider

Published 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