Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic
Crossref DOI link: https://doi.org/10.1007/s10846-018-0971-9
Published Online: 2019-01-07
Published Print: 2019-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kortik, Sitar
Saranli, Uluc
Text and Data Mining valid from 2019-01-07
Article History
Received: 13 February 2017
Accepted: 4 December 2018
First Online: 7 January 2019