Keyphrases
- sound and complete axiomatization
- multi valued
- proof procedure
- probabilistic logic
- deductive reasoning
- horn clauses
- general logic programs
- propositional logic
- autoepistemic logic
- predicate calculus
- nonmonotonic logics
- classical logic
- default logic
- modal logic
- logic programming
- propositional theories
- coalition logic
- first order logic
- defeasible logic
- logical framework
- truth maintenance systems
- knowledge representation
- asynchronous circuits
- epistemic logic
- truth values
- predicate logic
- statistical relational learning
- knowledge base
- computational problems
- computational properties