Show simple item record

dc.contributor.authorGebser, Martin
dc.contributor.authorKaminski, Roland
dc.contributor.authorKaufmann, Benjamin
dc.contributor.authorSchaub, Torsten
dc.contributor.authorSchneider, Marius Thomas
dc.contributor.authorZiller, Stefan
dc.contributor.editorJames P. Delgrande, Wolfgang Faber
dc.date.accessioned2018-10-10T01:30:29Z
dc.date.available2018-10-10T01:30:29Z
dc.date.issued2011
dc.date.modified2013-01-04T00:01:38Z
dc.identifier.refurihttp://sites.google.com/site/lpnmr11/
dc.identifier.doi10.1007/978-3-642-20895-9_40
dc.identifier.urihttp://hdl.handle.net/10072/42803
dc.description.abstractWe propose a portfolio-based solving approach to Answer Set Programming (ASP). Our approach is homogeneous in considering several configurations of the ASP solver clasp. The selection among the configurations is realized via Support Vector Regression. The resulting portfolio-based solver claspfolio regularly outperforms clasp's default configuration as well as manual tuning.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent190131 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeHeidelberg
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename11th international conference, LPNMR 2011
dc.relation.ispartofconferencetitleLogic Programming and Nonmonotonic Reasoning
dc.relation.ispartofdatefrom2011-05-16
dc.relation.ispartofdateto2011-05-19
dc.relation.ispartoflocationVancouver, Canada
dc.rights.retentionY
dc.subject.fieldofresearchcode280301
dc.titleA Portfolio Solver for Answer Set Programming: Preliminary Report
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.rights.copyright© 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.
gro.date.issued2011
gro.hasfulltextFull Text
gro.griffith.authorSchaub, Torsten


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record