Compiling and Executing PDDL in Picat
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332065" target="_blank" >RIV/00216208:11320/16:10332065 - isvavai.cz</a>
Result on the web
<a href="http://ceur-ws.org/Vol-1645/paper_10.pdf" target="_blank" >http://ceur-ws.org/Vol-1645/paper_10.pdf</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Compiling and Executing PDDL in Picat
Original language description
The declarative language Picat has recently entered the scene of constraint logic programming, in particular thanks to the eciency of its planning library that exploits a clever implementation of tabling, inherithed in part from B-Prolog. Planning benchmarks, used in compe- titions, are dened in the language PDDL and this implied that Picat users were forced to reimplement those models within the language. In this paper we present an automatic compiler from PDDL to Picat plan- ning models. The compiler is written in Picat and tested on standard PDDL benchmarks.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA15-19877S" target="_blank" >GA15-19877S: Automated Knowledge and Plan Modeling for Autonomous Robots</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
CILC 2016 Italian Conference on Computational Logic
ISBN
—
ISSN
1613-0073
e-ISSN
—
Number of pages
16
Pages from-to
132-147
Publisher name
CEUR-WS
Place of publication
Milano, Italy
Event location
Milano, Italy
Event date
Jun 20, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—