Show simple item record

dc.contributor.authorGebser, Martin
dc.contributor.authorKaufmann, Benjamin
dc.contributor.authorSchaub, Torsten
dc.date.accessioned2017-05-03T14:22:45Z
dc.date.available2017-05-03T14:22:45Z
dc.date.issued2012
dc.date.modified2013-08-20T00:04:02Z
dc.identifier.issn0004-3702
dc.identifier.doi10.1016/j.artint.2012.04.001
dc.identifier.urihttp://hdl.handle.net/10072/52653
dc.description.abstractWe introduce an approach to computing answer sets of logic programs, based on concepts successfully applied in Satisfiability (SAT) checking. The idea is to view inferences in Answer Set Programming (ASP) as unit propagation on nogoods. This provides us with a uniform constraint-based framework capturing diverse inferences encountered in ASP solving. Moreover, our approach allows us to apply advanced solving techniques from the area of SAT. As a result, we present the first full-fledged algorithmic framework for native conflict-driven ASP solving. Our approach is implemented in the ASP solver clasp that has demonstrated its competitiveness and versatility by winning first places at various solver contests.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent568087 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherElsevier
dc.publisher.placeNetherlands
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom52
dc.relation.ispartofpageto89
dc.relation.ispartofjournalArtificial Intelligence
dc.relation.ispartofvolume187-188
dc.rights.retentionY
dc.subject.fieldofresearchArtificial intelligence not elsewhere classified
dc.subject.fieldofresearchTheory of computation
dc.subject.fieldofresearchCognitive and computational psychology
dc.subject.fieldofresearchcode460299
dc.subject.fieldofresearchcode4613
dc.subject.fieldofresearchcode5204
dc.titleConflict-driven answer set solving: From theory to practice
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.rights.copyright© 2012 Elsevier B.V. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
gro.date.issued2012
gro.hasfulltextFull Text
gro.griffith.authorSchaub, Torsten


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record