Show simple item record

dc.contributor.authorGebser, Martin
dc.contributor.authorKaminski, Roland
dc.contributor.authorKnecht, Murat
dc.contributor.authorSchaub, Torsten
dc.contributor.editorJames P. Delgrande, Wolfgang Faber
dc.date.accessioned2017-05-03T13:12:00Z
dc.date.available2017-05-03T13:12:00Z
dc.date.issued2011
dc.date.modified2013-01-03T23:28:42Z
dc.identifier.refurihttp://sites.google.com/site/lpnmr11/
dc.identifier.doi10.1007/978-3-642-20895-9_41
dc.identifier.urihttp://hdl.handle.net/10072/42765
dc.description.abstractWe present a prototypical system, plasp, implementing Planning by compilation to Answer Set Programming (ASP). Our approach is inspired by Planning as Satisfiability, yet it aims at keeping the actual compilation simple in favor of modeling planning techniques by meta-programming in ASP. This has several advantages. First, ASP modelings are easily modifiable and can be studied in a transparent setting. Second, we can take advantage of available ASP grounders to obtain propositional representations. Third, we can harness ASP solvers providing incremental solving mechanisms. Finally, the ASP community gains access to a wide range of planning problems, and the planning community benefits from the knowledge representation and reasoning capacities of ASP.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent235951 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.titleplasp: A Prototype for PDDL-Based Planning in ASP
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