Keyphrases
- sound and complete axiomatization
- multi valued
- deductive reasoning
- probabilistic logic
- logic programming
- general logic programs
- propositional variables
- classical first order logic
- autoepistemic logic
- horn clauses
- classical logic
- predicate calculus
- propositional logic
- logical theories
- first order logic
- automated reasoning
- predicate logic
- default logic
- proof procedure
- propositional theories
- modal logic
- computational problems
- computational properties
- abductive reasoning
- deontic logic
- expressive power
- belief revision
- multi agent systems