Redundancy in Logic II: 2CNF and Horn Propositional Formulae
Paolo LiberatorePublished in: CoRR (2005)
Keyphrases
- horn clauses
- knowledge compilation
- propositional logic
- horn theories
- first order logic
- sound and complete axiomatization
- model counting
- valued logic
- inference rules
- horn logic
- logical formulas
- multi valued
- logic programs
- cnf formula
- proof procedure
- inductive logic programming
- modal logic
- truth values
- conjunctive normal form
- deductive reasoning
- probabilistic logic
- logic programming
- logical framework
- classical first order logic
- propositional variables
- automated reasoning
- minimal models
- theorem proving
- polynomial size
- propositional formulas
- predicate calculus
- propositional satisfiability
- predicate logic
- np hard