Keyphrases
- general logic programs
- termination analysis
- active rules
- deductive databases
- logic programming
- logic programs
- active databases
- abstract interpretation
- causal theories
- constraint logic programming
- integrity constraints
- autoepistemic logic
- answer set programming
- fixpoint
- normal logic programs
- nonmonotonic reasoning
- answer sets
- query evaluation
- fixpoint semantics
- stable models
- reasoning tasks
- databases
- default logic
- knowledge representation