The Conflict-Driven Answer Set Solver clasp: Progress Report
Loading...
File version
Author(s)
Gebser, Martin
Kaufmann, Benjamin
Schaub, Torsten
Kaufmann, Benjamin
Schaub, Torsten
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2009
Size
108145 bytes
File type(s)
application/pdf
Location
License
Abstract
We summarize the salient features of the current version of the answer set solver clasp, focusing on the progress made since version RC4 of clasp. Apart from enhanced preprocessing and search-supporting techniques, a particular emphasis lies on advanced reasoning modes, such as cautious and brave reasoning, optimization, solution projection, and incremental solving.
Journal Title
Lecture Notes in Computer science
Conference Title
Book Title
Edition
Volume
5753
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2009 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