{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:57:07Z","timestamp":1743123427572,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439127"},{"type":"electronic","value":"9783540456032"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45603-1_75","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T08:13:02Z","timestamp":1186906382000},"page":"526-530","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["RoboLog Koblenz 2001"],"prefix":"10.1007","author":[{"given":"Jan","family":"Murray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Obst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frieder","family":"Stolzenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,23]]},"reference":[{"key":"75_CR1","doi-asserted-by":"crossref","unstructured":"D. Gale and L. Shapely. College admissions and the stability of marriage. American Mathematical Monthly, 1962.","DOI":"10.21236\/AD0251958"},{"key":"75_CR2","unstructured":"J. Murray. Soccer agents think in UML. Diplomarbeit D 610, Fachbereich Informatik, Universit\u00e4t Koblenz-Landau, 2001."},{"key":"75_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/3-540-45324-5_18","volume-title":"RoboCup 2000: Robot Soccer World Cup IV","author":"J. Murray","year":"2001","unstructured":"J. Murray, O. Obst, and F. Stolzenburg. Towards a logical approach for soccer agents engineering. In P. Stone, T. Balch, and G. Kraetzschmar, editors, RoboCup 2000: Robot Soccer World Cup IV, LNAI 2019, pages 199\u2013208. Springer, Berlin, Heidelberg, New York, 2001."},{"key":"75_CR4","unstructured":"Object Management Group, Inc. OMG Unified Modeling Language Specification, 1999. Version 1.3, June 1999."},{"key":"75_CR5","doi-asserted-by":"crossref","unstructured":"O. Obst. Specifying rational agents with statecharts and utility functions. In Accepted paper at RoboCup International Symposium (RoboCup 2001), 2001. To appear.","DOI":"10.1007\/3-540-45603-1_18"},{"key":"75_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"International Conference on Theoretical Aspects of Computer Software","author":"A. Pnueli","year":"1991","unstructured":"A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In T. Ito and A. R. Meyer, editors, International Conference on Theoretical Aspects of Computer Software, LNCS 526, pages 244\u2013264, Sendai, Japan, 1991. Springer, Berlin, Heidelberg, New York."},{"key":"75_CR7","unstructured":"F. Stolzenburg. Reasoning about cognitive robotics systems. In R. Moratz and B. Nebel, editors, Themenkolloquium Kognitive Robotik und Raumrepr\u00e4sentation des DFG-Schwerpunktprogramms Raumkognition, Hamburg, 2001."},{"key":"75_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/3-540-45327-X_41","volume-title":"RoboCup-99: Robot Soccer WorldCup III","author":"F. Stolzenburg","year":"2000","unstructured":"F. Stolzenburg, O. Obst, J. Murray, and B. Bremer. Spatial agents implemented in a logical expressible language. In M. Veloso, E. Pagello, and H. Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 481\u2013494. Springer, Berlin, Heidelberg, New York, 2000."},{"key":"75_CR9","doi-asserted-by":"crossref","unstructured":"P. Stone and D. McAllester. An architecture for action selection in robotic soccer. In Fifth International Conference on Autonomous Agents, 2001.","DOI":"10.1145\/375735.376320"}],"container-title":["Lecture Notes in Computer Science","RoboCup 2001: Robot Soccer World Cup V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45603-1_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T20:29:35Z","timestamp":1587846575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45603-1_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439127","9783540456032"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45603-1_75","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"23 July 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}