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]
@article{KortikS19, title = {Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic}, author = {Sitar Kortik and Uluc Saranli}, year = {2019}, doi = {10.1007/s10846-018-0971-9}, url = {https://doi.org/10.1007/s10846-018-0971-9}, researchr = {https://researchr.org/publication/KortikS19}, cites = {0}, citedby = {0}, journal = {Journal of Intelligent and Robotic Systems}, volume = {96}, number = {2}, pages = {179-191}, }