Compiling and Executing PDDL in Picat

Kód výsledku v 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>

Výsledek na webu

<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

—

Jazyk výsledku

angličtina

Název v původním jazyce

Compiling and Executing PDDL in Picat

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Compiling and Executing PDDL in Picat

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA15-19877S" target="_blank" >GA15-19877S: Automatické modelování znalostí a plánů pro autonomní roboty</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

CILC 2016 Italian Conference on Computational Logic

ISBN

—

ISSN

1613-0073

e-ISSN

—

Počet stran výsledku

16

Strana od-do

132-147

Název nakladatele

CEUR-WS

Místo vydání

Milano, Italy

Místo konání akce

Milano, Italy

Datum konání akce

20. 6. 2016

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—