On equivalence of infinitary formulas under the stable model semantics.
Amelia HarrisonVladimir LifschitzMiroslaw TruszczynskiPublished in: Theory Pract. Log. Program. (2015)
Keyphrases
- logic programs
- stable models
- logic programming
- strong equivalence
- normal logic programs
- datalog programs
- answer set semantics
- fixpoint
- horn clauses
- answer sets
- stable model semantics
- situation calculus
- logic programs with negation
- magic sets
- answer set programming
- semantics for logic programs
- nonmonotonic reasoning
- autoepistemic logic
- deductive databases
- minimal models
- query answering
- incomplete information
- finite state machines
- modal operators
- knowledge representation
- knowledge base
- artificial intelligence