The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 2 of 13
Back to Result List

plasp 3

  • We describe the new version of the Planning Domain Definition Language (PDDL)-to-Answer Set Programming (ASP) translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by Satisfiability Testing (SAT) planning and others exploiting ASP features such as well-foundedness. All of them are designed for handling multivalued fluents in order to capture both PDDL as well as SAS planning formats. Third, enabled by multishot 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.

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Yannis Dimopoulos, Martin GebserORCiD, Patrick LühneORCiD, Javier Romero Davila, Torsten H. SchaubORCiDGND
DOI:https://doi.org/10.1017/S1471068418000583
ISSN:1471-0684
ISSN:1475-3081
Title of parent work (English):Theory and practice of logic programming
Subtitle (English):Towards Effective ASP Planning
Publisher:Cambridge Univ. Press
Place of publishing:New York
Publication type:Article
Language:English
Date of first publication:2019/01/18
Publication year:2019
Release date:2021/03/01
Tag:action and change; answer set programming; automated planning; knowledge representation and nonmonotonic reasoning; technical notes and rapid communications
Volume:19
Issue:3
Number of pages:28
First page:477
Last Page:504
Funding institution:DFGGerman Research Foundation (DFG) [SCHA 550/9]; KWF [28472]; cms electronics GmbH; FunderMax GmbH; Hirsch Armbander GmbH; IT GmbH; Infineon Technologies Austria AG; Isovolta AG; Kostwein Holding GmbH; Privatstiftung Karntner Sparkasse
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
DDC classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Peer review:Referiert
Publishing method:Open Access / Green Open-Access
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.