{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:12:04Z","timestamp":1742937124925,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_7","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"69-82","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Integrating ASP into ROS for Reasoning in Robots"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Andres","sequence":"first","affiliation":[]},{"given":"David","family":"Rajaratnam","sequence":"additional","affiliation":[]},{"given":"Orkunt","family":"Sabuncu","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"7_CR1","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: preliminary report. In: Leuschel, M., Schrijvers, T. (eds.) Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP 2014). Theory and Practice of Logic Programming, Online Supplement (2014). http:\/\/arxiv.org\/abs\/1405.3694v1"},{"key":"7_CR2","unstructured":"Quigley, M., Gerkey, B., Conley, K., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., Ng, A.: ROS: an open-source robot operating system. In: ICRA Workshop on OSS (2009)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Chen, X., Jiang, J., Ji, J., Jin, G., Wang, F.: Integrating NLP with reasoning about actions for autonomous agents communicating with humans. In: Proceedings of the IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2009), pp. 137\u2013140. IEEE (2009)","DOI":"10.1109\/WI-IAT.2009.142"},{"key":"7_CR4","unstructured":"Chen, X., Ji, J., Jiang, J., Jin, G., Wang, F., Xie, J.: Developing high-level cognitive functions for service robots. In: van der Hoek, W., Kaminka, G., Lesp\u00e9rance, Y., Luck, M., Sen, S. (eds.) Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 989\u2013996. IFAAMAS (2010)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-20895-9_36","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"E Aker","year":"2011","unstructured":"Aker, E., Erdogan, A., Erdem, E., Patoglu, V.: Causal reasoning for planning and coordination of multiple housekeeping robots. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 311\u2013316. Springer, Heidelberg (2011)"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/s11370-012-0119-x","volume":"5","author":"E Erdem","year":"2012","unstructured":"Erdem, E., Aker, E., Patoglu, V.: Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution. Intel. Serv. Robot. 5(4), 275\u2013291 (2012)","journal-title":"Intel. Serv. Robot."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Erdem, E., Haspalamutgil, K., Palaz, C., Patoglu, V., Uras, T.: Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA 2011), pp. 4575\u20134581. IEEE (2011)","DOI":"10.1109\/ICRA.2011.5980160"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Andres, B., Rajaratnam, D., Sabuncu, O., Schaub, T.: Integrating ASP into ROS for reasoning in robots: Extended version. Unpublished draft (2015). Available at [13]","DOI":"10.1007\/978-3-319-23264-5_7"},{"key":"7_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-1-4615-1567-8_12","volume-title":"Logic-Based Artificial Intelligence","author":"C Baral","year":"2000","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 257\u2013279. Kluwer Academic, Dordrecht (2000)"},{"issue":"1\u20133","key":"7_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H Levesque","year":"1997","unstructured":"Levesque, H., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: GOLOG: a logic programming language for dynamic domains. J. Logic Program. 31(1\u20133), 59\u201383 (1997)","journal-title":"J. Logic Program."},{"key":"7_CR12","first-page":"323","volume-title":"First-Order Logic Revisited: Proceedings of the Conference 75 Years of First Order Logic (FOL75)","author":"M Thielscher","year":"2004","unstructured":"Thielscher, M.: Logic-based agents and the frame problem: a case for progression. In: Hendricks, V. (ed.) First-Order Logic Revisited: Proceedings of the Conference 75 Years of First Order Logic (FOL75), pp. 323\u2013336. Logos, Berlin (2004)"},{"key":"7_CR13","unstructured":"Potassco website. http:\/\/potassco.sourceforge.net"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/TRO.2006.889486","volume":"23","author":"G Grisetti","year":"2007","unstructured":"Grisetti, G., Stachniss, C., Burgard, W.: Improved techniques for grid mapping with rao-blackwellized particle filters. IEEE Trans. Robot. 23(1), 34\u201346 (2007)","journal-title":"IEEE Trans. Robot."},{"key":"7_CR15","first-page":"944","volume-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI 1996)","author":"S Thrun","year":"1996","unstructured":"Thrun, S., B\u00fccken, A.: Integrating grid-based and topological maps for mobile robot navigation. In: Clancey, W., Weld, D. (eds.) Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI 1996), pp. 944\u2013950. AAAI\/MIT Press, Portland (1996)"},{"key":"7_CR16","first-page":"453","volume-title":"Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998)","author":"G De Giacomo","year":"1998","unstructured":"De Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: Cohn, A., Schubert, L., Shapiro, S. (eds.) Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 453\u2013465. Morgan Kaufmann, Trento (1998)"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.robot.2005.09.004","volume":"53","author":"O Pettersson","year":"2005","unstructured":"Pettersson, O.: Execution monitoring in robotics: a survey. Robot. Autonom. Syst. 53(2), 73\u201388 (2005)","journal-title":"Robot. Autonom. Syst."},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1613\/jair.30","volume":"1","author":"N Nilsson","year":"1994","unstructured":"Nilsson, N.: Teleo-reactive programs for agent control. J. Artif. Intell. Res. 1, 139\u2013158 (1994)","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Khandelwal, P., Yang, F., Leonetti, M., Lifschitz, V., Stone, P.: Planning in action language BC while learning action costs for mobile robots. In: International Conference on Automated Planning and Scheduling (ICAPS) (2014)","DOI":"10.1609\/icaps.v24i1.13671"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T11:27:41Z","timestamp":1676978861000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}