Domain Modeling for Planning as Logic Programming

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332066" target="_blank" >RIV/00216208:11320/16:10332066 - isvavai.cz</a>
Result on the web
<a href="http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12942/12533" target="_blank" >http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12942/12533</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Domain Modeling for Planning as Logic Programming
Original language description
Planning as programming is an approach to automated planning, where the planning domain model is expressed as a program in some (declarative) program- ming language. Then the modeler can exploit all features of that language to encode control knowledge im- portant for efficient planning. In this paper we study these features in the logic programming language Picat and its planner module. In particular, we use two planning benchmarks, Nomystery and Childsnack, to compare factored and structured representations of states extended by encodings of control knowledge.
Czech name
—
Czech description
—

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)

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

Article name in the collection
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016
ISBN
978-1-57735-756-8
ISSN
2334-0754
e-ISSN
—
Number of pages
6
Pages from-to
8-13
Publisher name
AAAI Press
Place of publication
Menlo Park, CA, USA
Event location
Key Largo, Florida
Event date
May 16, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)