Sciweavers

Share
LPNMR
2009
Springer

On the Input Language of ASP Grounder Gringo

9 years 9 months ago
On the Input Language of ASP Grounder Gringo
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.
Martin Gebser, Roland Kaminski, Max Ostrowski, Tor
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LPNMR
Authors Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele
Comments (0)
books