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

• Autores: Sitar Kortik, Uluç Saranli
• Localización: Journal of intelligent & robotic systems: Theory & applications, ISSN 0921-0296, Vol. 96, Nº. 2, 2019, págs. 179-191
• Idioma: inglés
• Texto completo no disponible (Saber más ...)