{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T17:27:36Z","timestamp":1783790856690,"version":"3.55.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Intel Serv Robotics"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s11370-012-0119-x","type":"journal-article","created":{"date-parts":[[2012,10,3]],"date-time":"2012-10-03T09:04:46Z","timestamp":1349255086000},"page":"275-291","source":"Crossref","is-referenced-by-count":56,"title":["Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution"],"prefix":"10.1007","volume":"5","author":[{"given":"Esra","family":"Erdem","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Erdi","family":"Aker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Volkan","family":"Patoglu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2012,10,4]]},"reference":[{"key":"119_CR1","doi-asserted-by":"crossref","unstructured":"Aker E, Erdogan A, Erdem E, Patoglu V (2011) Causal reasoning for planning and coordination of multiple housekeeping robots. In: Proceedings of LPNMR\u201911","DOI":"10.1007\/978-3-642-20895-9_36"},{"key":"119_CR2","unstructured":"Aker E, Erdogan A, Erdem E, Patoglu V (2011) Housekeeping with multiple autonomous robots: representation, reasoning and execution. In: Proceedings of commonsense\u201911"},{"issue":"12","key":"119_CR3","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka G, Eiter T, Truszczynski M (2011) Answer set programming at a glance. Commun ACM 54(12):92\u2013103","journal-title":"Commun ACM"},{"key":"119_CR4","doi-asserted-by":"crossref","unstructured":"Bylander T (1994) The computational complexity of propositional STRIPS planning. Artif Intell 69(1\u20132):165\u2013204","DOI":"10.1016\/0004-3702(94)90081-7"},{"key":"119_CR5","doi-asserted-by":"crossref","unstructured":"Decker K, Lesser V (1992) Generalizing the partial global planning algorithm. Int J Intell Coop Inf Syst 1:319\u2013346","DOI":"10.1142\/S0218215792000222"},{"key":"119_CR6","unstructured":"E\u00e9n N, S\u00f6rensson N (2003) An extensible sat-solver. In: Proceedings of SAT, pp 502\u2013518"},{"key":"119_CR7","doi-asserted-by":"crossref","unstructured":"Erdem E, Erdem Y, Erdogan H, Oztok U (2011) Finding answers and generating explanations for complex biomedical queries. In: Proceedings of AAAI","DOI":"10.1609\/aaai.v25i1.7946"},{"key":"119_CR8","doi-asserted-by":"crossref","unstructured":"Erdem E, Haspalamutgil K, Palaz C, Patoglu V, Uras T (2011) Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation. In: Proceedings of ICRA","DOI":"10.1109\/ICRA.2011.5980160"},{"key":"119_CR9","doi-asserted-by":"crossref","unstructured":"Erdem E, Wong MDF (2004) Rectilinear steiner tree construction using answer set programming. In: Proceedings of ICLP, pp 386\u2013399","DOI":"10.1007\/978-3-540-27775-0_27"},{"key":"119_CR10","unstructured":"Ferrein A, Fritz C, Lakemeyer G (2005) Using GOLOG for deliberation and team coordination in robotic soccer. K\u00fcnstliche Intelligenz 1"},{"key":"119_CR11","doi-asserted-by":"crossref","unstructured":"Finin TW, Fritzson R, McKay DP, McEntire R (1994) KQML as an agent communication language. In: Proceedings of CIKM, pp 456\u2013463","DOI":"10.1145\/191246.191322"},{"key":"119_CR12","unstructured":"Gebser M, Guziolowski C, Ivanchev M, Schaub T, Siegel A, Thiele S, Veber P (2010) Repair and prediction (under inconsistency) in large biological networks with answer set programming. In: Proceedings of KR"},{"key":"119_CR13","doi-asserted-by":"crossref","unstructured":"Gebser M, Kaminski R, Kaufmann B, Ostrowski M, Schaub T, Thiele S (2008) Engineering an incremental ASP solver. In: Proceedings of ICLP, pp 190\u2013205","DOI":"10.1007\/978-3-540-89982-2_23"},{"key":"119_CR14","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9:365\u2013385","journal-title":"New Gener Comput"},{"key":"119_CR15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E Giunchiglia","year":"2004","unstructured":"Giunchiglia E, Lee J, Lifschitz V, McCain N, Turner H (2004) Nonmonotonic causal theories. Artif Intell 153:49\u2013104","journal-title":"Artif Intell"},{"key":"119_CR16","unstructured":"Lavalle SM (1998) Rapidly-exploring random trees: a new tool for path planning. Tech. rep"},{"key":"119_CR17","unstructured":"Lesser V, Decker K, Carver N, Garvey A, Neimen D, Prassad M, Wagner T (1998) Evolution of the GPGP domain independent coordination framework. Tech. rep., University of Massachusetts"},{"key":"119_CR18","unstructured":"Lifschitz V (2008) What is answer set programming? In: Proceedings of AAAI"},{"key":"119_CR19","doi-asserted-by":"crossref","unstructured":"Liu H, Singh P (2004) ConceptNet: a practical commonsense reasoning toolkit. BT Technol J 22","DOI":"10.1023\/B:BTTJ.0000047600.45421.6d"},{"issue":"10","key":"119_CR20","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1016\/j.robot.2008.06.006","volume":"56","author":"R Lundh","year":"2008","unstructured":"Lundh R, Karlsson L, Saffiotti A (2008) Autonomous functional configuration of a network robot system. Robot Auton Syst 56(10):819\u2013830","journal-title":"Robot Auton Syst"},{"key":"119_CR21","unstructured":"McCain N, Turner H (1997) Causal theories of action and change. In: Proceedings of AAAI\/IAAI, pp 460\u2013465"},{"key":"119_CR22","doi-asserted-by":"crossref","unstructured":"Nogueira M, Balduccini M, Gelfond M, Watson R, Barry M (2001) An a-prolog decision support system for the space shuttle. In: Proceedings of PADL. Springer, Berlin, pp 169\u2013183","DOI":"10.1007\/3-540-45241-9_12"},{"issue":"3","key":"119_CR23","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1023\/A:1009621729979","volume":"16","author":"PRN O\u2019Brien","year":"1998","unstructured":"O\u2019Brien PRN (1998) FIPA\u2013towards a standard for software agents. BT Technol J 16(3):51\u201359","journal-title":"BT Technol J"},{"key":"119_CR24","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons P, Niemel\u00e4 I, Soininen T (2002) Extending and implementing the stable model semantics. Artif Intell 138:181\u2013234","journal-title":"Artif Intell"},{"key":"119_CR25","doi-asserted-by":"crossref","unstructured":"Smith RG (1980) The contract net protocol: high-level communication and control in a distributed problem solver. IEEE Trans Comput 29(12):1104\u20131113","DOI":"10.1109\/TC.1980.1675516"},{"key":"119_CR26","unstructured":"Tari L, Anwar S, Liang S, Hakenberg J, Baral C (2010) Synthesis of pharmacokinetic pathways through knowledge acquisition and automated reasoning. In: Proceedings of PSB, pp 465\u2013476"},{"key":"119_CR27","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1111\/j.1540-6261.1961.tb02789.x","volume":"16","author":"W Vikrey","year":"1961","unstructured":"Vikrey W (1961) Computer speculation, auctions, and competitive sealed tenders. J Finance 16:8\u201337","journal-title":"J Finance"},{"key":"119_CR28","doi-asserted-by":"crossref","first-page":"345","DOI":"10.3233\/MGS-2009-0133","volume":"5","author":"MM Weerdt de","year":"2009","unstructured":"de Weerdt MM, Clement B (2009) Introduction to planning in multiagent systems. Multiagent Grid Syst 5:345\u2013355","journal-title":"Multiagent Grid Syst"}],"container-title":["Intelligent Service Robotics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11370-012-0119-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11370-012-0119-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11370-012-0119-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T01:50:10Z","timestamp":1687744210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11370-012-0119-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["119"],"URL":"https:\/\/doi.org\/10.1007\/s11370-012-0119-x","relation":{},"ISSN":["1861-2776","1861-2784"],"issn-type":[{"value":"1861-2776","type":"print"},{"value":"1861-2784","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10]]}}}