{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:35:57Z","timestamp":1742927757225,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421856"},{"type":"electronic","value":"9783540453246"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","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":[[2001]]},"DOI":"10.1007\/3-540-45324-5_18","type":"book-chapter","created":{"date-parts":[[2007,7,23]],"date-time":"2007-07-23T02:35:42Z","timestamp":1185158142000},"page":"199-208","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards a Logical Approach for Soccer Agents Engineering"],"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":[[2001,9,20]]},"reference":[{"key":"18_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/3-540-64473-3_53","volume-title":"RoboCup-97: Robot Soccer WorldCup","author":"S. Coradeschi","year":"1998","unstructured":"S. Coradeschi and L. Karlsson. A role-based decision-mechanism for teams of reactive and coordinating agents. In H. Kitano, editor, RoboCup-97: Robot Soccer WorldCup I, LNAI 1395, pages 112\u2013122, Berlin, Heidelberg, New York, 1998. Springer."},{"key":"18_CR2","unstructured":"E. Corten, K. Dorer, F. Heintz, K. Kostiadis, J. Kummeneje, H. Myritz, I. Noda, J. Riekki, P. Riley, P. Stone, and T. Yeap. Soccer server Manual, 5th edition, May 1999. For Soccer server Version 5.00 and later."},{"key":"18_CR3","first-page":"1221","volume-title":"Proceedings of the 15th International Joint Conference on Artificial Intelligence","author":"G. De Giacomo","year":"1997","unstructured":"G. De Giacomo, Y. Lesp\u00e9rance, and H. J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In M. E. Pollack, editor, Proceedings of the 15th International Joint Conference on Artificial Intelligence, pages 1221\u20131226, Nagoya, Japan, 1997. IJCAI Inc., San Mateo, CA, Morgan Kaufmann, Los Altos, CA. Volume 2."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. J. Levesque","year":"1997","unstructured":"H. J. Levesque, R. Reiter, Y. Lesp\u00e9rance, F. Lin, and R. B. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59\u201384, 1997.","journal-title":"Journal of Logic Programming"},{"key":"18_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/3-540-45327-X_67","volume-title":"RoboCup-99: Robot Soccer WorldCup","author":"J. Murray","year":"2000","unstructured":"J. Murray, O. Obst, and F. Stolzenburg. RoboLog Koblenz. In M. Veloso, E. Pagello, and H. Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 628\u2013631. Springer, Berlin, Heidelberg, New York, 2000. Team description."},{"key":"18_CR6","unstructured":"Object Management Group, Inc. OMG Unified Modeling Language Specification, 1999. Version 1.3, June 1999."},{"key":"18_CR7","first-page":"331","volume-title":"Multiagent Systems. A Modern Approach to Distributed Artificial Intelligence","author":"M. P. Singh","year":"1999","unstructured":"M. P. Singh, A. S. Rao, and M. P. Georgeff. Formal methods in DAI: Logic-based representation and reasoning. In G. Weiss, editor, Multiagent Systems. A Modern Approach to Distributed Artificial Intelligence, chapter 8, pages 331\u2013376. The MIT Press, Cambridge, MA, London, 1999."},{"key":"18_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 World Cup","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 World Cup III, LNAI 1856, pages 481\u2013494. Springer, Berlin, Heidelberg, New York, 2000."},{"key":"18_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-45327-X_2","volume-title":"RoboCup-99: Robot Soccer WorldCup","author":"P. Stone","year":"2000","unstructured":"P. Stone, P. Riley, and M. Veloso. The CMUnited-99 champion simulator team. In M. Veloso, E. Pagello, and H. Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 35\u201348. Springer, Berlin, Heidelberg, New York, 2000."},{"key":"18_CR10","volume-title":"SWI-Prolog 3.3 Reference Manual","author":"J. Wielemaker","year":"2000","unstructured":"J. Wielemaker. SWI-Prolog 3.3 Reference Manual. University of Amsterdam, The Netherlands, 2000."}],"container-title":["Lecture Notes in Computer Science","RoboCup 2000: Robot Soccer World Cup IV"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45324-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T05:07:59Z","timestamp":1603429679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45324-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421856","9783540453246"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45324-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"20 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}