Redundancy in logic I: CNF propositional formulae.
Paolo LiberatorePublished in: Artif. Intell. (2005)
Keyphrases
- sound and complete axiomatization
- horn clauses
- multi valued
- knowledge compilation
- conjunctive normal form
- propositional variables
- probabilistic logic
- cnf formula
- model counting
- boolean functions
- propositional logic
- proof procedure
- belief revision
- deductive reasoning
- general logic programs
- clause learning
- automated reasoning
- truth maintenance systems
- autoepistemic logic
- predicate calculus
- truth values
- predicate logic
- modal logic
- logic programming
- np complete
- nonmonotonic logics
- classical logic
- default logic
- propositional theories
- minimal models
- inductive logic programming
- satisfiability testing
- sat solvers
- logical theories
- valued logic
- sat solving
- computational properties
- propositional formulas
- propositional satisfiability
- boolean formula