Computing Stable Models for Nonmonotonic Existential Rules.
Despoina MagkaMarkus KrötzschIan HorrocksPublished in: IJCAI (2013)
Keyphrases
- stable models
- strong equivalence
- logic programs
- logic programming
- normal logic programs
- answer set semantics
- answer set programming
- stable model semantics
- fixpoint
- derivation rules
- minimal models
- answer sets
- default rules
- deductive databases
- multi context systems
- default reasoning
- nonmonotonic reasoning
- general theory
- default logic
- semantics for logic programs
- probabilistic reasoning
- association rules
- knowledge base
- loop formulas
- answer set programs
- horn clauses
- databases