{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:14:57Z","timestamp":1725815697520},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319153919"},{"type":"electronic","value":"9783319153926"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15392-6_5","type":"book-chapter","created":{"date-parts":[[2015,1,23]],"date-time":"2015-01-23T16:46:13Z","timestamp":1422031573000},"page":"42-52","source":"Crossref","is-referenced-by-count":0,"title":["Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Christian","family":"Kroi\u00df","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Bure\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,1,24]]},"reference":[{"key":"5_CR1","unstructured":"Bure\u0161, T., et al.: A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase. In: 3rd Workshop on Challenges for Achieving Self-Awareness in Automatic Systems, pp. 71\u201376. IEEE (2013)"},{"key":"5_CR2","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-07650-8_16","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"C Kroi\u00df","year":"2014","unstructured":"Kroi\u00df, C.: Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models. In: Jezic, G., Kusek, M., Lovrek, I., J. Howlett, R., C. Jain, L. (eds.) Agent and Multi-Agent Systems: Technologies and Applications. AISC, vol. 296, pp. 151\u2013160. Springer, Heidelberg (2014)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Latella, D., et al.: Stochastically timed predicate-based communication primitives for autonomic computing. Technical report, QUANTICOL Project (2014)","DOI":"10.4204\/EPTCS.154.1"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical Model Checking: An Overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010)"},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque, H.J., et al.: Golog: A logic programming language for dynamic domains. The Journal of Logic Programming 31(1), 59\u201383 (1997)","journal-title":"The Journal of Logic Programming"},{"key":"5_CR6","unstructured":"Marcu, D., et al.: Distributed software agents and communication in the situation calculus. In: International Workshop on Intelligent Computer, Communication, pp. 69\u201378 (1995)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"5_CR8","unstructured":"Scherl, R.B.: Reasoning about the interaction of knowledge, time and concurrent actions in the situation calculus. In: 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 1091\u20131098 (2003)"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"RB Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artificial Intelligence 144(1), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1214\/aoms\/1177731118","volume":"16","author":"A Wald","year":"1945","unstructured":"Wald, A., et al.: Sequential tests of statistical hypotheses. Annals of Mathematical Statistics 16(2), 117\u2013186 (1945)","journal-title":"Annals of Mathematical Statistics"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Nature of Computation and Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15392-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T01:41:05Z","timestamp":1566265265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15392-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319153919","9783319153926"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15392-6_5","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2015]]}}}