Show simple item record

dc.contributor.authorDimopoulos, Yannisen
dc.contributor.authorGebser, M.en
dc.contributor.authorLühne, P.en
dc.contributor.authorRomero, J.en
dc.contributor.authorSchaub, T.en
dc.contributor.editorBalduccini M.en
dc.contributor.editorJanhunen T.en
dc.creatorDimopoulos, Yannisen
dc.creatorGebser, M.en
dc.creatorLühne, P.en
dc.creatorRomero, J.en
dc.creatorSchaub, T.en
dc.date.accessioned2019-11-13T10:39:54Z
dc.date.available2019-11-13T10:39:54Z
dc.date.issued2017
dc.identifier.issn0302-9743
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/53857
dc.description.abstractWe describe the new version of the PDDL-to-ASP translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by SAT planning and others exploiting ASP features such as well-foundedness. All of them are designed for handling multi-valued fluents in order to capture both PDDL as well as SAS planning formats. Third, enabled by multi-shot ASP solving, it offers advanced planning algorithms also borrowed from SAT planning. As a result, plasp provides us with an ASP-based framework for studying a variety of planning techniques in a uniform setting. Finally, we demonstrate in an empirical analysis that these techniques have a significant impact on the performance of ASP planning. © Springer International Publishing AG 2017.en
dc.source14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85025123839&doi=10.1007%2f978-3-319-61660-5_26&partnerID=40&md5=2b6fb7c487539b6c6c53c9b5090bda31
dc.subjectComputer circuitsen
dc.subjectLogic programmingen
dc.subjectEmpirical analysisen
dc.subjectEncodingsen
dc.subjectFluentsen
dc.subjectMulti-shoten
dc.subjectMulti-valueden
dc.subjectPlanning algorithmsen
dc.subjectPlanning techniquesen
dc.subjectWell-foundednessen
dc.titlePlasp 3: Towards effective ASP planningen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1007/978-3-319-61660-5_26
dc.description.volume10377 LNAIen
dc.description.startingpage286
dc.description.endingpage300
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Sponsors:en
dc.description.notesConference code: 193899</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en
dc.contributor.orcidDimopoulos, Yannis [0000-0001-9583-9754]
dc.gnosis.orcid0000-0001-9583-9754


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record