dc.contributor.author | Gebser, Martin | |
dc.contributor.author | Kaminski, Roland | |
dc.contributor.author | Knecht, Murat | |
dc.contributor.author | Schaub, Torsten | |
dc.contributor.editor | James P. Delgrande, Wolfgang Faber | |
dc.date.accessioned | 2017-05-03T13:12:00Z | |
dc.date.available | 2017-05-03T13:12:00Z | |
dc.date.issued | 2011 | |
dc.date.modified | 2013-01-03T23:28:42Z | |
dc.identifier.refuri | http://sites.google.com/site/lpnmr11/ | |
dc.identifier.doi | 10.1007/978-3-642-20895-9_41 | |
dc.identifier.uri | http://hdl.handle.net/10072/42765 | |
dc.description.abstract | We 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.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 235951 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.publisher.place | Heidelberg | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | 11th international conference, LPNMR 2011 | |
dc.relation.ispartofconferencetitle | Logic Programming and Nonmonotonic Reasoning | |
dc.relation.ispartofdatefrom | 2011-05-16 | |
dc.relation.ispartofdateto | 2011-05-19 | |
dc.relation.ispartoflocation | Vancouver, Canada | |
dc.rights.retention | Y | |
dc.subject.fieldofresearchcode | 280301 | |
dc.title | plasp: A Prototype for PDDL-Based Planning in ASP | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - 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.issued | 2011 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Schaub, Torsten | |