Murray Shanahan, Mark Witkowski. High-Level Robot Control through Logic. In Cristiano Castelfranchi, Yves Lespérance, editors, Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings. Volume 1986 of Lecture Notes in Computer Science, pages 104-121, Springer, 2000. [doi]
@inproceedings{ShanahanW00,
title = {High-Level Robot Control through Logic},
author = {Murray Shanahan and Mark Witkowski},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1986/19860104.htm},
tags = {logic},
researchr = {https://researchr.org/publication/ShanahanW00},
cites = {0},
citedby = {0},
pages = {104-121},
booktitle = {Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings},
editor = {Cristiano Castelfranchi and Yves Lespérance},
volume = {1986},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42422-9},
}