Advances in gringo Series 3

Thumbnail
View/Open
Author(s)
Gebser, Martin
Kaminski, Roland
K¨onig, Arne
Schaub, Torsten
Griffith University Author(s)
Year published
2011
Metadata
Show full item record
Abstract
We describe the major new features emerging from a significant redesign of the grounder gringo, building upon a grounding algorithm based on semi-naive database evaluation. Unlike previous versions, rules only need to be safe rather than domain-restricted.
Conference Title
Logic Programming and Nonmonotonic Reasoning
DOI
Copyright Statement
© 2011 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com
Publication URI
Collection