Keyphrases
- sound and complete axiomatization
- horn clauses
- multi valued
- knowledge compilation
- conjunctive normal form
- propositional variables
- logic programming
- model counting
- boolean functions
- probabilistic logic
- cnf formula
- propositional logic
- first order logic
- proof procedure
- modal logic
- classical logic
- classical first order logic
- valued logic
- default logic
- propositional knowledge base
- predicate calculus
- logic programs
- belief revision
- general logic programs
- nonmonotonic logics
- truth maintenance systems
- autoepistemic logic
- boolean formula
- predicate logic
- minimal models
- digital circuits
- propositional formulas
- satisfiability testing
- automated reasoning
- coalition logic
- inductive logic programming
- clause learning