Some results and experiments in programming techniques for propositional logic.

Charles E. Blair Robert G. Jeroslow James K. Lowe

Published in: Comput. Oper. Res. (1986)

Keyphrases

propositional logic
first order logic
belief revision
programming language
quantified boolean formulae
possibilistic logic
belief change
davis putnam
lattice theory
propositional satisfiability
artificial intelligence
search algorithm
logic programs
solving hard
horn logic