On Equivalence of Infinitary Formulas under the Stable Model Semantics.
Amelia HarrisonVladimir LifschitzMiroslaw TruszczynskiPublished in: CoRR (2014)
Keyphrases
- logic programs
- stable models
- strong equivalence
- logic programming
- normal logic programs
- datalog programs
- answer set semantics
- fixpoint
- horn clauses
- stable model semantics
- answer sets
- logic programs with negation
- situation calculus
- answer set programming
- magic sets
- semantics for logic programs
- autoepistemic logic
- deductive databases
- nonmonotonic reasoning
- inductive logic programming
- default reasoning
- minimal models
- knowledge base
- query answering
- programming language
- object oriented