The Semantics of Gringo and Infinitary Propositional Formulas

@inproceedings{Harrison2014TheSO,
  title={The Semantics of Gringo and Infinitary Propositional Formulas},
  author={Amelia Harrison and Vladimir Lifschitz and Fangkai Yang},
  booktitle={KR},
  year={2014}
}
Input languages of answer set solvers are based on the mathematically simple concept of a stable model. But many useful constructs available in these languages, including local variables, conditional literals, and aggregates, cannot be easily explained in terms of stable models in the sense of the original definition of this concept and its straightforward generalizations. Manuals written by designers of answer set solvers usually explain such constructs using examples and informal comments… CONTINUE READING
9 Citations
15 References
Similar Papers

Similar Papers

Loading similar papers…