Keyphrases
- general logic programs
- autoepistemic logic
- logic programs
- fixpoint semantics
- modal logic
- default logic
- nonmonotonic logics
- logic programming
- classical logic
- conditional logic
- nonmonotonic reasoning
- computational properties
- proof theory
- propositional dynamic logic
- epistemic logic
- normal logic programs
- model theoretic
- strong equivalence
- default theories
- fixpoint
- deductive databases
- stable models
- formal semantics
- default reasoning
- answer set programming
- inference rules
- expressive power
- answer sets
- argumentation frameworks
- description logics
- causal theories
- temporal logic
- answer set semantics