LinGraph: a graph-based automated planner for concurrent task planning based on linear logic-Reference-Cited by-同舟云学术

LinGraph: a graph-based automated planner for concurrent task planning based on linear logic

Published:2017-05-02 Issue:3 Volume:47 Page:914-934
ISSN:0924-669X
Container-title:Applied Intelligence
language:en
Short-container-title:Appl Intell

Author:

Kortik Sıtar^ORCID,Saranli Uluc̣

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence

Link

http://link.springer.com/article/10.1007/s10489-017-0936-x/fulltext.html

Reference59 articles.

1. Alkhazraji Y, Katz M, Matmüller R, Pommerening F, Shleyfman A, Wehrle M (2014) Metis: arming fast downward with pruning and incremental computation Eighth international planning competition, deterministic part, pp 88–92

2. Belta C, Bicchi A, Egerstedt M, Frazzoli E, Klavins E, Pappas G (2007) Symbolic planning and control of robot motion - grand challenges of robotics. IEEE Robot Autom Mag 14(1):61– 70

3. Blum AL, Furst ML (1995) Fast planning through planning graph analysis. Artif Intell 90(1):1636–1642

4. Bonet B, Geffner H (2001) Planning as heuristic search. Artif Intell 129(1-2):5–33

5. Bonet B, Loerincs G, Geffner H (1997) A robust and fast action selection mechanism for planning Proceedings of the national conference on artificial intelligence, pp 714–719

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using deep learning techniques for solving AI planning problems specified through graph transformations;Soft Computing;2022-04-06

2. Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover;2021 IEEE International Conference on Robotics and Automation (ICRA);2021-05-30

3. A novel approach to solve AI planning problems in graph transformations;Engineering Applications of Artificial Intelligence;2020-06