Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- propositional logic
- deductive reasoning
- predicate calculus
- first order logic
- general logic programs
- proof procedure
- logic programming
- propositional variables
- horn clauses
- coalition logic
- classical logic
- modal logic
- classical first order logic
- logical theories
- abductive reasoning
- predicate logic
- probability theory
- truth maintenance systems
- epistemic logic
- propositional theories
- belief revision
- logic programs
- satisfiability testing
- autoepistemic logic
- nonmonotonic logics