Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- propositional logic
- proof procedure
- logic programming
- horn clauses
- deductive reasoning
- autoepistemic logic
- predicate calculus
- modal logic
- first order logic
- classical first order logic
- truth maintenance systems
- computational properties
- neural network
- conditional logic
- asynchronous circuits
- knowledge representation
- nonmonotonic logics
- set theory
- defeasible logic
- classical logic
- normal form
- propositional variables
- general logic programs
- expressive power
- description logics