Redundancy in logic II: 2CNF and Horn propositional formulae.
Paolo LiberatorePublished in: Artif. Intell. (2008)
Keyphrases
- horn clauses
- knowledge compilation
- propositional logic
- horn theories
- horn logic
- first order logic
- sound and complete axiomatization
- valued logic
- multi valued
- logic programs
- inference rules
- model counting
- logical formulas
- logic programming
- conjunctive normal form
- inductive logic programming
- boolean functions
- canonical representation
- probabilistic logic
- propositional satisfiability
- cnf formula
- binary decision diagrams
- functional dependencies
- np hard
- general logic programs
- propositional formulas
- possibilistic logic
- modal logic
- minimal models
- classical logic
- predicate logic
- logical theories
- propositional variables
- propositional theories
- decision rules
- automated reasoning
- computational properties
- proof procedure
- predicate calculus
- knowledge base