Keyphrases
- normal logic programs
- logic programs
- stable models
- default reasoning
- answer sets
- logic programming
- stable model semantics
- deductive databases
- answer set programming
- fixpoint
- answer set semantics
- belief revision
- default logic
- knowledge representation and reasoning
- general logic programs
- semantics for logic programs