Keyphrases
- general logic programs
- fixpoint semantics
- autoepistemic logic
- logic programs
- logic programming
- normal logic programs
- deductive databases
- formal semantics
- strong equivalence
- stable models
- causal theories
- fixpoint
- model theoretic
- default logic
- nonmonotonic reasoning
- declarative semantics
- classical logic
- answer set semantics
- expert systems
- proof theory
- logic programming language
- modal logic
- reasoning tasks
- preference relations
- data complexity
- answer set programming