Advances in gringo Series 3

View/ Open
Author(s)
Gebser, Martin
Kaminski, Roland
K¨onig, Arne
Schaub, Torsten
Griffith University Author(s)
Year published
2011
Metadata
Show full item recordAbstract
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.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.
View less >
View less >
Conference Title
Logic Programming and Nonmonotonic Reasoning
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