Applications of General Exact Satisfiability in Propositional Logic Modelling.

Vilhelm Dahllöf

Published in: LPAR (2004)

Keyphrases

propositional logic
first order logic
belief revision
satisfiability testing
lattice theory
possibilistic logic
quantified boolean formulae
davis putnam
special case
proof procedure
propositional formulas
knowledge base
belief change