DMCA
S.: On the input language of ASP grounder Gringo
| Venue: | Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’09). Volume 5753 of Lecture Notes in Artificial Intelligence., Springer-Verlag (2009) 502–508 |
| Citations: | 11 - 8 self |
BibTeX
@INPROCEEDINGS{Gebser_s.:on,
author = {Martin Gebser and Max Ostrowski and Torsten Schaub and Sven Thiele},
title = {S.: On the input language of ASP grounder Gringo},
booktitle = {Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’09). Volume 5753 of Lecture Notes in Artificial Intelligence., Springer-Verlag (2009) 502–508},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime reached maturity and offers a rich modeling language to program developers. The attractiveness of Gringo is fostered by the fact that it significantly extends the input language of Lparse while supporting a compatible output format, recognized by many state-of-the-art ASP solvers. 1
