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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Gebser, M., Kaufmann, B., & Schaub, T. (2009). The conflict-driven answer set solver clasp: Progress report. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5753 LNAI, pp. 509–514). https://doi.org/10.1007/978-3-642-04238-6_50
Mendeley helps you to discover research relevant for your work.