@inproceedings{e559ebaf276945e19c92b55137ab2b29,
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",
series = "CEUR Workshop Proceedings",
editor = "Roman Bartak and McCluskey, {Thomas Leo} and Enrico Pontelli",
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 = "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) ; Conference date: 10-07-2016 Through 10-07-2016",
}