Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software . 2023
License: CC BY
Data sources: Datacite
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software . 2023
License: CC BY
Data sources: Datacite
versions View all 2 versions
addClaim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

Code from ICAPS 2023 paper "Grounding Planning Tasks Using Tree Decompositions and Iterated Solving"

Authors: Corrêa, Augusto B.; Hecher, Markus; Helmert, Malte; Longo, Davide Mario; Pommerening, Florian; Woltran, Stefan;

Code from ICAPS 2023 paper "Grounding Planning Tasks Using Tree Decompositions and Iterated Solving"

Abstract

Source code used in the experiments from the paper "Grounding Planning Tasks Using Tree Decompositions and Iterated Solving" (Corrêa et al ICAPS 2023). There are six different files: asp-grounding.zip: It contains the files to ground planning tasks using off-the-shelf ASP tools. The README.md file in this zip explains how to execute it. (You also need to add lpopt to the PATH and to an environment variable LPOPT_BIN_PATH to use all options. See lpopt.zip below.) clingo.zip: It contains the versions of clingo and gringo used for the experiments. Just add the 'cling' and 'gringo' executables to the necessary environment variables. downward-new-grounder.zip: It contains a version of Fast Downward using the new grounder via iterated solving. To use this, you need to set some variables first: (i) gringo should be in the PATH; (ii) LPOPT_BIN_PATH should point to lpopt; (iii) COUNT_GROUND_ACTIONS_BIN_PATH should point to count-ground-actions.py (found in asp-grounding.zip). Then, you can follow the README instruction to build and execute Fast Downward. However, you need to pass the option "--translate-options --use-direct-lp-encoding" to the driver script (i.e., fast-downward.py). Note that this only works with STRIPS. downward-gringo.zip: It contains a version of Fast Downward replacing the Python grounder with gringo. (It is a mistake that some parts of the code refer to 'clingo' instead.) Once again, you need to have gringo in the PATH. Then, you can follow the README instruction to build and execute Fast Downward. However, you need to pass the option "--translate-options --use-direct-lp-encoding" to the driver script (i.e., fast-downward.py). Note that this only works with STRIPS. fd-grounder.zip: It contains a reimplementation of Fast Downward's grounder (Helmert AIJ 2009, section 6) in C++. The README.md file in this zip explains how to execute it. lpopt.zip: It contains the version of lpopt used in our experiments. You need to add to the PATH or set an environment variable pointing to lpopt depending on which other package you want to use it with. As an important remark, we recommend the use of Pypy3 instead of Python 3. (By the time of this submission, the most recent version of Python 3 was 3.11.)

Related Organizations
Keywords

logic programming, datalog, grounding, classical planning, answer set programming

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
    OpenAIRE UsageCounts
    Usage byUsageCounts
    visibility views 47
    download downloads 9
  • 47
    views
    9
    downloads
    Powered byOpenAIRE UsageCounts
Powered by OpenAIRE graph
Found an issue? Give us feedback
visibility
download
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
views
OpenAIRE UsageCountsViews provided by UsageCounts
downloads
OpenAIRE UsageCountsDownloads provided by UsageCounts
0
Average
Average
Average
47
9
Funded by