dc.contributor.author | Gebser, Martin | |
dc.contributor.author | Kaufmann, Benjamin | |
dc.contributor.author | Schaub, Torsten | |
dc.date.accessioned | 2017-05-03T12:56:31Z | |
dc.date.available | 2017-05-03T12:56:31Z | |
dc.date.issued | 2009 | |
dc.date.modified | 2010-08-17T05:03:22Z | |
dc.identifier.issn | 03029743 | |
dc.identifier.doi | 10.1007/978-3-642-04238-6_50 | |
dc.identifier.uri | http://hdl.handle.net/10072/30342 | |
dc.description.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. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 108145 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.publisher.place | Germany | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofpagefrom | 509 | |
dc.relation.ispartofpageto | 514 | |
dc.relation.ispartofjournal | Lecture Notes in Computer science | |
dc.relation.ispartofvolume | 5753 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearchcode | 280301 | |
dc.title | The Conflict-Driven Answer Set Solver clasp: Progress Report | |
dc.type | Journal article | |
dc.type.description | C1 - Articles | |
dc.type.code | C - Journal Articles | |
gro.rights.copyright | © 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 | |
gro.date.issued | 2009 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Schaub, Torsten | |