Takéhiko Nakama, Enrique Muñoz, Kevin LeBlanc, Enrique H. Ruspini. Facilitating Human-Robot Interaction: A Formal Logic for Task Description. In Manuel A. Armada, Alberto Sanfeliu, Manuel Ferre, editors, ROBOT 2013: First Iberian Robotics Conference - Advances in Robotics, Vol. 2, Madrid, Spain, 28-29 November 2013. Volume 253 of Advances in Intelligent Systems and Computing, pages 331-344, Springer, 2013. [doi]
@inproceedings{NakamaMLR13,
title = {Facilitating Human-Robot Interaction: A Formal Logic for Task Description},
author = {Takéhiko Nakama and Enrique Muñoz and Kevin LeBlanc and Enrique H. Ruspini},
year = {2013},
doi = {10.1007/978-3-319-03653-3_25},
url = {http://dx.doi.org/10.1007/978-3-319-03653-3_25},
researchr = {https://researchr.org/publication/NakamaMLR13},
cites = {0},
citedby = {0},
pages = {331-344},
booktitle = {ROBOT 2013: First Iberian Robotics Conference - Advances in Robotics, Vol. 2, Madrid, Spain, 28-29 November 2013},
editor = {Manuel A. Armada and Alberto Sanfeliu and Manuel Ferre},
volume = {253},
series = {Advances in Intelligent Systems and Computing},
publisher = {Springer},
isbn = {978-3-319-03652-6},
}