Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- propositional logic
- horn clauses
- autoepistemic logic
- proof procedure
- default logic
- predicate calculus
- modal logic
- logic programming
- deductive reasoning
- general logic programs
- propositional variables
- nonmonotonic reasoning
- classical first order logic
- first order logic
- truth maintenance systems
- asynchronous circuits
- natural language
- propositional theories
- abductive reasoning
- nonmonotonic logics
- classical logic
- np complete
- inference rules
- logical theories
- strips planning
- knowledge building
- predicate logic
- satisfiability testing