Stable models for infinitary formulas with extensional atoms.
Amelia HarrisonVladimir LifschitzPublished in: Theory Pract. Log. Program. (2016)
Keyphrases
- stable models
- logic programs
- horn clauses
- logic programming
- answer sets
- normal logic programs
- answer set programming
- fixpoint
- general theory
- background knowledge
- stable model semantics
- semantics for logic programs
- logic programs with negation
- inductive logic programming
- strong equivalence
- computational properties
- universal quantification
- answer set semantics
- partial order
- loop formulas
- software engineering
- object oriented
- dl lite
- normal form
- propositional theories