{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:24:59Z","timestamp":1725535499495},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642032776"},{"type":"electronic","value":"9783642032783"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","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-03278-3_5","type":"book-chapter","created":{"date-parts":[[2009,7,13]],"date-time":"2009-07-13T09:53:19Z","timestamp":1247478799000},"page":"72-87","source":"Crossref","is-referenced-by-count":8,"title":["Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations"],"prefix":"10.1007","author":[{"given":"Peter","family":"Nov\u00e1k","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"33","volume":"30","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Braubach, L., Dastani, M., Seghrouchni, A.E.F., Gomez-Sanz, J.J., Leite, J., O\u2019Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica\u00a030, 33\u201344 (2006)","journal-title":"Informatica"},{"key":"5_CR2","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","doi-asserted-by":"publisher","DOI":"10.1007\/b137449","volume-title":"Multi-Agent Programming Languages, Platforms and Applications","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F.: Multi-Agent Programming Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015. Kluwer Academic Publishers, Dordrecht (2005)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. In: Multiagent Systems, Artificial Societies, and Simulated Organizations [2], ch. 1, vol.\u00a015, pp. 3\u201337 (2005)","DOI":"10.1007\/0-387-26350-0_1"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","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":"5_CR5","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.-J. (eds.): Programming Multi-Agent Systems in 3APL. In: Multiagent Systems, Artificial Societies, and Simulated Organizations [2], ch. 2, vol.\u00a015, pp. 39\u201368 (2005)","DOI":"10.1007\/0-387-26350-0_2"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: A verification framework for agent programming with declarative goals. J. Applied Logic\u00a05(2), 277\u2013302 (2007)","journal-title":"J. Applied Logic"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87805-6_9","volume-title":"Multiagent System Technologies","author":"K. Hindriks","year":"2008","unstructured":"Hindriks, K., Nov\u00e1k, P.: Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines. In: Bergmann, R., Lindemann, G., Kirn, S., P\u011bchou\u010dek, M. (eds.) MATES 2008. LNCS, vol.\u00a05244. Springer, Heidelberg (2008)"},{"key":"5_CR8","unstructured":"K\u00f6ster, M.: Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Wissensrepr\u00e4sentation. Master\u2019s thesis (2008)"},{"issue":"2","key":"5_CR9","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":"5_CR10","unstructured":"Mainzer, D.: Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Interaktion mit der Umwelt. Master\u2019s thesis (2008)"},{"key":"5_CR11","doi-asserted-by":"publisher","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":"5_CR12","unstructured":"Nov\u00e1k, P.: An open agent architecture: Fundamentals. Technical Report IfI-07-10, Department of Informatics, Clausthal University of Technology (November 2007)"},{"key":"5_CR13","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 (2008)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1145\/1160633.1160814","volume-title":"AAMAS","author":"P. Nov\u00e1k","year":"2006","unstructured":"Nov\u00e1k, P., Dix, J.: Modular BDI architecture. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) AAMAS, pp. 1009\u20131015. ACM, New York (2006)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-79043-3_9","volume-title":"Programming Multi-Agent Systems","author":"P. Nov\u00e1k","year":"2008","unstructured":"Nov\u00e1k, P., Dix, J.: Adding structure to agent programming languages. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS, vol.\u00a04908, pp. 140\u2013155. Springer, Heidelberg (2008)"},{"key":"5_CR16","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 (2008)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, vol.\u00a03229, pp. 689\u2013692. Springer, Heidelberg (2004)"},{"key":"5_CR18","unstructured":"Rao, A.S., Georgeff, M.P.: An Abstract Architecture for Rational Agents. In: KR, pp. 439\u2013449 (1992)"},{"key":"5_CR19","unstructured":"Syrj\u00e4nen, T.: Implementation of local grounding for logic programs with stable model semantics. Technical Report B18, Digital Systems Laboratory, Helsinki University of Technology (October 1998)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/3-540-45402-0_38","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, vol.\u00a02173, pp. 434\u2013438. Springer, Heidelberg (2001)"},{"key":"5_CR21","unstructured":"van Lent, M., Laird, J.E., Buckman, J., Hartford, J., Houchard, S., Steinkraus, K., Tedrake, R.: Intelligent agents in computer games. In: AAAI\/IAAI, pp. 929\u2013930 (1999)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03278-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T07:58:31Z","timestamp":1558425511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03278-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642032776","9783642032783"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03278-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}