Towards Polynomial Approximations of Full Propositional Logic.

Published in: SBIA (2004)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
possibilistic logic
lattice theory
davis putnam
satisfiability testing
belief change
propositional satisfiability
proof procedure
horn logic