Login / Signup
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