Keyphrases
- normal logic programs
- logic programs
- stable models
- default reasoning
- answer sets
- logic programming
- answer set semantics
- fixpoint
- knowledge representation and reasoning
- database
- general logic programs
- stable model semantics
- semantics for logic programs
- belief revision
- general purpose
- data structure
- knowledge base
- machine learning