@inproceedings{ DBLP:conf/lpnmr/CaldiranHOPEP09, author = {Ozan Caldiran and Kadir Haspalamutgil and Abdullah Ok and Can Palaz and Esra Erdem and Volkan Patoglu} } , ee = {http://dx.doi.org/10.1007/978-3-642-04238-6_29} } , booktitle = {Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09)} } , urln = {lpnmr09-cogrobo.pdf} } , abstract = {We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the applicability of this framework on two LEGO MINDSTORMS NXT robots, in an action domain that involves concurrent execution of actions by multiple agents.} } , year = {2009} } , title = {Bridging the Gap between High-Level Reasoning and Low-Level Control} } , pages = {342-354} }