Computation-oriented reductions of predicate to propositional logic.

Robert G. Jeroslow

Published in: Decis. Support Syst. (1988)

Keyphrases

propositional logic
first order logic
belief revision
lattice theory
quantified boolean formulae
possibilistic logic
proof procedure
inference rules
propositional satisfiability
davis putnam
solving hard
theorem proving
belief change
satisfiability testing
horn logic