Keyphrases
- answer set programming
- default theories
- logic programs
- logic programming
- answer sets
- reasoning tasks
- causal theories
- stable model semantics
- meta level reasoning
- constraint logic programming
- default logic
- answer set programs
- update semantics
- stable models
- database systems
- genetic algorithm
- background knowledge
- general purpose
- search space