Loop Formulas for Disjunctive Logic Programs.
Joohyung LeeVladimir LifschitzPublished in: ICLP (2003)
Keyphrases
- loop formulas
- stable model semantics
- logic programs
- stable models
- answer sets
- answer set programming
- disjunctive logic programming
- logic programming
- answer set semantics
- polynomial hierarchy
- fixpoint
- minimal models
- rdf graphs
- deductive databases
- inductive logic programming
- artificial intelligence
- nonmonotonic reasoning
- knowledge representation