Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic-Reference-Cited by-同舟云学术

Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic

Published:2019-01-07 Issue:2 Volume:96 Page:179-191
ISSN:0921-0296
Container-title:Journal of Intelligent & Robotic Systems
language:en
Short-container-title:J Intell Robot Syst

Author:

Kortik Sitar,Saranli Uluc

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Artificial Intelligence,Industrial and Manufacturing Engineering,Mechanical Engineering,Control and Systems Engineering,Software

Link

http://link.springer.com/content/pdf/10.1007/s10846-018-0971-9.pdf

Reference43 articles.

1. Arslan, O., Saranli, U.: Reactive planning and control of planar spring-mass running on rough terrain. IEEE Trans. Robot. 28(3), 567–579 (2012)

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

3. Bimbó, K.: The decidability of the intensional fragment of classical linear logic. Theor. Comput. Sci. 597, 1–17 (2015)

4. Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artif. Intell. 90(1), 1636–1642 (1995)

5. Brachman, R., Levesque, H.: Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco (2004)

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

1. Online Task Planning Method of Anti-Ship Missile Based on Rolling Optimization;Journal of Systems Engineering and Electronics;2024-06

2. Mission planning on preference-based expression trees using heuristics-assisted evolutionary computation;Applied Soft Computing;2023-03

3. What Is Robotics? Why Do We Need It and How Can We Get It?;Annual Review of Control, Robotics, and Autonomous Systems;2021-05-03