Keyphrases
- disjunctive logic programming
- model theoretic
- sound and complete axiomatization
- formal semantics
- propositional logic
- logic programming
- truth maintenance systems
- first order logic
- multi valued
- operational semantics
- nonmonotonic logics
- conditional logic
- deductive databases
- autoepistemic logic
- data exchange
- logical theories
- logic programs