Detecting Embedded Horn Structure in Propositional Logic.

V. Chandru John N. Hooker

Published in: Inf. Process. Lett. (1992)

Keyphrases

propositional logic
belief revision
horn logic
first order logic
quantified boolean formulae
possibilistic logic
lattice theory
davis putnam
proof procedure
np hard
propositional satisfiability
machine learning
orders of magnitude
temporal logic
horn contraction