@inproceedings{d7577ce68d7e4716ad91ff23b1171a0b,
title = "Using Knowledge Representation and Reasoning Tools in the Design of Robots",
abstract = "The paper describes the authors{\textquoteright} experience in using knowledge representation and reasoning tools in the design of robots. The focus is on the systematic construction of models of the robot{\textquoteright}s capabilities and its domain at different resolutions, and on establishing a clear relationship between the models at the different resolutions.",
author = "Mohan Sridharan and Michael Gelfond",
year = "2016",
month = jul,
day = "25",
language = "English",
volume = "1648",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",
pages = "1--8",
booktitle = "Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)",
note = "Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) ; Conference date: 10-07-2016",
}