On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics.
Amelia HarrisonVladimir LifschitzMiroslaw TruszczynskiPublished in: LPNMR (2013)
Keyphrases
- logic programs
- logic programming
- stable models
- normal logic programs
- strong equivalence
- fixpoint
- situation calculus
- stable model semantics
- horn clauses
- answer set programming
- answer sets
- deductive databases
- logic programs with negation
- semantics for logic programs
- nonmonotonic reasoning
- inductive logic programming
- minimal models
- autoepistemic logic
- default reasoning
- knowledge representation
- knowledge base
- classical logic
- datalog programs
- default logic
- data warehouse
- magic sets