Advances in gringo Series 3
Loading...
File version
Author(s)
Gebser, Martin
Kaminski, Roland
K¨onig, Arne
Schaub, Torsten
Kaminski, Roland
K¨onig, Arne
Schaub, Torsten
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
James P. Delgrande, Wolfgang Faber
Date
2011
Size
122346 bytes
File type(s)
application/pdf
Location
Vancouver, Canada
License
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.
Journal Title
Conference Title
Logic Programming and Nonmonotonic Reasoning
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights 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