On the Predictability of Classical Propositional Logic.

Marcelo Finger Poliana M. Reis

Published in: Inf. (2013)

Keyphrases

propositional logic
horn logic
first order logic
belief revision
valued logic
possibilistic logic
davis putnam
lattice theory
machine learning
lower bound
propositional formulas
proof procedure
quantified boolean formulae
knowledge base
solving hard
horn contraction