Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- horn clauses
- deductive reasoning
- propositional logic
- proof procedure
- logic programming
- propositional variables
- predicate calculus
- first order logic
- general logic programs
- autoepistemic logic
- automated reasoning
- default logic
- classical logic
- logic programs with negation
- set theory
- truth maintenance systems
- logic programs
- bayesian networks
- proof theory
- predicate logic
- neural network
- logical framework
- classical first order logic