Advances in gringo Series 3

Loading...
Thumbnail Image
File version
Author(s)
Gebser, Martin
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

Item Access Status
Note
Access the data
Related item(s)
Subject
Persistent link to this record
Citation