Sitar Kortik, Uluc Saranli. Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic. Journal of Intelligent and Robotic Systems, 96(2):179-191, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.