A Certified Polynomial-Based Decision Procedure for Propositional Logic.

Inmaculada Medina-Bulo Francisco Palomo-Lozano José A. Alonso-Jiménez

Published in: TPHOLs (2001)

Keyphrases

propositional logic
davis putnam
proof procedure
belief revision
first order logic
decision making
possibilistic logic
quantified boolean formulae
lattice theory
propositional satisfiability
theorem proving
minimal models
satisfiability testing
knowledge representation
belief change
decision problems
valued logic