Searching for Sequential Plans Using Tabled Logic Programming

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10319139" target="_blank" >RIV/00216208:11320/15:10319139 - isvavai.cz</a>
Result on the web
<a href="http://ceur-ws.org/Vol-1451/paper3.pdf" target="_blank" >http://ceur-ws.org/Vol-1451/paper3.pdf</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Searching for Sequential Plans Using Tabled Logic Programming
Original language description
Logic programming provides a declarative framework for modeling and solving many combinatorial problems. Until recently, it was not competitive with state of the art planning techniques partly due to search capabilities limited to backtracking. Recent development brought more advanced search techniques to logic programming such as tabling that simplifies implementation and exploitation of more sophisticated search algorithms. Together with rich modeling capabilities this progress brings tabled logic programing on a par with current best planners. The paper brings an initial experimental study comparing various approaches to search for sequential plans in the Picat planning module.
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
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2015
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 22nd RCRCA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015)
ISBN
—
ISSN
1613-0073
e-ISSN
—
Number of pages
15
Pages from-to
24-38
Publisher name
CEUR-WS.org
Place of publication
Neuveden
Event location
Ferrara, Italy
Event date
Sep 22, 2015
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)