Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- deductive reasoning
- logic programming
- horn clauses
- proof procedure
- general logic programs
- propositional logic
- autoepistemic logic
- predicate calculus
- classical first order logic
- classical logic
- default logic
- modal logic
- asynchronous circuits
- first order logic
- truth maintenance systems
- automated reasoning
- nonmonotonic logics
- predicate logic
- inference rules
- set theory
- logic programs with negation
- abductive reasoning
- bayesian networks
- defeasible logic
- logic programs