{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:19:12Z","timestamp":1742912352227,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642111976"},{"type":"electronic","value":"9783642111983"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-11198-3_3","type":"book-chapter","created":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T06:03:51Z","timestamp":1259647431000},"page":"33-47","source":"Crossref","is-referenced-by-count":6,"title":["Two Case Studies for Jazzyk BSM"],"prefix":"10.1007","author":[{"given":"Michael","family":"K\u00f6ster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Nov\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Mainzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Fuhrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Adobbati, R., Marshall, A.N., Scholer, A., Tejada, S., Kaminka, G.A., Schaffer, S., Sollitto, C.: Gamebots: A 3D Virtual World Test-Bed For Multi-Agent Research. In: Proceedings of the Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS (2001)"},{"key":"3_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR3","volume-title":"Abstract State Machines. A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"3_CR4","unstructured":"Fuhrmann, B.: Implementierung eines URBI- und Rubymoduls f\u00fcr Jazzyk zur Entwicklung von Robotern. Master\u2019s thesis, Clausthal University of Technology (2009)"},{"key":"3_CR5","unstructured":"K\u00f6ster, M.: Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Wissensrepr\u00e4sentation. Master\u2019s thesis, Clausthal University of Technology (2008)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/375735.376343","volume-title":"Proceedings of the fifth international conference on Autonomous agents","author":"J.E. Laird","year":"2001","unstructured":"Laird, J.E.: It knows what you\u2019re going to do: adding anticipation to a Quakebot. In: Proceedings of the fifth international conference on Autonomous agents, pp. 385\u2013392. ACM, New York (2001)"},{"issue":"2","key":"3_CR7","first-page":"15","volume":"22","author":"J.E. Laird","year":"2001","unstructured":"Laird, J.E., van Lent, M.: Human-level AI\u2019s killer application: Interactive computer games. AI Magazine\u00a022(2), 15\u201326 (2001)","journal-title":"AI Magazine"},{"key":"3_CR8","unstructured":"Mainzer, D.: Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Interaktion mit der Umwelt. Master\u2019s thesis, Clausthal University of Technology (2008)"},{"key":"3_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)"},{"key":"3_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/3-540-68686-X_24","volume-title":"Virtual Worlds","author":"O. Michel","year":"1998","unstructured":"Michel, O.: Webots: Symbiosis between virtual and real mobile robots. In: Heudin, J.-C. (ed.) VW 1998. LNCS (LNAI), vol.\u00a01434, pp. 254\u2013263. Springer, Heidelberg (1998)"},{"key":"3_CR11","unstructured":"Nov\u00e1k, P.: Behavioural State Machines: programming modular agents. In: AAAI 2008 Spring Symposium: Architectures for Intelligent Theory-Based Agents, AITA 2008, March 26-28, pp. 49\u201354 (2008)"},{"key":"3_CR12","unstructured":"Nov\u00e1k, P.: Jazzyk: A programming language for hybrid agents with heterogeneous knowledge representations. In: Proceedings of the Sixth International Workshop on Programming Multi-Agent Systems, May 2008, pp. 143\u2013158 (2008)"},{"key":"3_CR13","unstructured":"Nov\u00e1k, P., Jamroga, W.: Code patterns for agent-oriented programming. In: AAMAS (to appear, 2009)"},{"key":"3_CR14","unstructured":"Nov\u00e1k, P., K\u00f6ster, M.: Designing goal-oriented reactive behaviours. In: Proceedings of the 6th International Cognitive Robotics Workshop, CogRob 2008, Patras, Greece, July 21-22, pp. 24\u201331 (2008)"},{"key":"3_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1007\/978-3-540-30227-8_58","volume-title":"Logics in Artificial Intelligence","author":"L. Padovani","year":"2004","unstructured":"Padovani, L., Provetti, A.: Qsmodels: Asp planning in interactive gaming environment. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 689\u2013692. Springer, Heidelberg (2004)"},{"key":"3_CR16","unstructured":"Rabin, S.: AI Game Programming Wisdom 2. Charles River Media (2004)"},{"key":"3_CR17","volume-title":"Lparse 1.0 User\u2019s Manual","author":"T. Syrj\u00e4nen","year":"2000","unstructured":"Syrj\u00e4nen, T.: Lparse 1.0 User\u2019s Manual. University of Helsinki, Finland (2000)"},{"key":"3_CR18","series-title":"Lecture Notes in Artificial Intelligence","first-page":"434","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T., Niemel\u00e4, I.: The Smodels System. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 434\u2013438. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Agents for Games and Simulations"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11198-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T20:20:43Z","timestamp":1674073243000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-11198-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642111976","9783642111983"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11198-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}