Keyphrases
- stable model semantics
- nonmonotonic reasoning
- default logic
- logic programs
- stable models
- answer sets
- answer set programming
- normal logic programs
- loop formulas
- logic programming
- semantics of logic programs
- autoepistemic logic
- default reasoning
- nonmonotonic logics
- belief revision
- minimal models
- disjunctive logic programming
- answer set semantics
- fixpoint
- default theories
- artificial intelligence
- rdf graphs
- commonsense knowledge
- commonsense reasoning
- modal logic
- programming language
- general logic programs
- database
- relational databases
- data mining
- databases