{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:04Z","timestamp":1725566644837},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148422"},{"type":"electronic","value":"9783642148439"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14843-9_5","type":"book-chapter","created":{"date-parts":[[2010,9,27]],"date-time":"2010-09-27T01:14:21Z","timestamp":1285550061000},"page":"67-81","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Behavioural State Machines"],"prefix":"10.1007","author":[{"given":"Peter","family":"Nov\u00e1k","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","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., El Fallah Seghrouchni, A.: Multi-Agent Programming Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015. Kluwer Academic Publishers, Dordrecht (2005)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations [1], vol.\u00a015, ch. 1, pp. 3\u201337 (2005)","DOI":"10.1007\/0-387-26350-0_1"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.: Programming Multi-Agent Systems in 3APL. Multiagent Systems, Artificial Societies, and Simulated Organizations [1], vol.\u00a015, ch. 2, pp. 39\u201368 (2005)","DOI":"10.1007\/0-387-26350-0_2"},{"issue":"2","key":"5_CR4","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_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-03278-3_2","volume-title":"Programming Multi-Agent Systems","author":"K.V. Hindriks","year":"2009","unstructured":"Hindriks, K.V., Jonker, C.M., Pasman, W.: Exploring heuristic action selection in agent programming. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol.\u00a05442, pp. 24\u201339. Springer, Heidelberg (2009)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"K\u00f6ster, M., Nov\u00e1k, P., Mainzer, D., Fuhrmann, B.: Two case studies for Jazzyk BSM. In: Proceedings of Agents for Games and Simulations, AGS 2009, AAMAS 2009 co-located workshop, pp. 31\u201345 (2009)","DOI":"10.1007\/978-3-642-11198-3_3"},{"key":"5_CR7","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-Verlag New York, Inc., New York (1992)"},{"issue":"15","key":"5_CR8","first-page":"135","volume":"2","author":"A.A. Markov","year":"1906","unstructured":"Markov, A.A.: Extension of the law of large numbers to dependent quantities (in Russian). Izvestiya Fiziko-matematicheskogo obschestva pri Kazanskom Universitete\u00a02(15), 135\u2013156 (1906)","journal-title":"Izvestiya Fiziko-matematicheskogo obschestva pri Kazanskom Universitete"},{"key":"5_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3267-7","volume-title":"Markov Chains and Stochastic Stability","author":"S.P. Meyn","year":"1993","unstructured":"Meyn, S.P., Tweedie, R.L.: Markov Chains and Stochastic Stability. Springer, London (1993)"},{"key":"5_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-03278-3_5","volume-title":"Programming Multi-Agent Systems","author":"P. Nov\u00e1k","year":"2009","unstructured":"Nov\u00e1k, P.: Jazzyk: A programming language for hybrid agents with heterogeneous knowledge representations. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol.\u00a05442, pp. 72\u201387. Springer, Heidelberg (2009)"},{"key":"5_CR11","unstructured":"Nov\u00e1k, P., Jamroga, W.: Code patterns for agent-oriented programming. In: Proceedings of The Eighth International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2009 (2009)"},{"key":"5_CR12","unstructured":"Nov\u00e1k, P., K\u00f6ster, M.: Designing goal-oriented reactive behaviours. In: Proceedings of the 6th International Cognitive Robotics Workshop, CogRob 2008, ECCAI co-located workshop, Patras, Greece, July 21-22, pp. 24\u201331 (2008)"},{"key":"5_CR13","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI Reasoning Engine. Multiagent Systems, Artificial Societies, and Simulated Organizations [1], vol.\u00a015, ch. 6, pp. 149\u2013174 (2005)","DOI":"10.1007\/0-387-26350-0_6"},{"key":"5_CR15","unstructured":"Rao, A.S., Georgeff, M.P.: An Abstract Architecture for Rational Agents. In: KR, pp. 439\u2013449 (1992)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Winikoff, M.: JACKTM Intelligent Agents: An Industrial Strength Platform. Multiagent Systems, Artificial Societies, and Simulated Organizations [1], vol.\u00a015, ch. 7, pp. 175\u2013193 (2005)","DOI":"10.1007\/0-387-26350-0_7"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14843-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:47:42Z","timestamp":1558291662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14843-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148422","9783642148439"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14843-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}