{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:09:42Z","timestamp":1725491382508},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752530"},{"type":"electronic","value":"9783540752547"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75254-7_19","type":"book-chapter","created":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T03:10:25Z","timestamp":1189566625000},"page":"183-192","source":"Crossref","is-referenced-by-count":3,"title":["MASL: A Logic for the Specification of Multiagent Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Dmitry","family":"Bugaychenko","sequence":"first","affiliation":[]},{"given":"Igor","family":"Soloviev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","first-page":"377","volume-title":"Multiagent Systems","author":"N. Jenings","year":"2001","unstructured":"Jenings, N., Wooldridge, M.: Intelligent Agents. In: Weiss, G. (ed.) Multiagent Systems, pp. 377\u2013421. MIT Press, Cambridge (2001)"},{"key":"19_CR2","unstructured":"Jenings, N., Wooldridge, M.: Applications of intelligent agents (2000)"},{"key":"19_CR3","first-page":"377","volume-title":"Multiagent Systems","author":"H.D. Parunak","year":"2001","unstructured":"Parunak, H.D.: Industrial and Practical Application of DAI. In: Weiss, G. (ed.) Multiagent Systems, pp. 377\u2013421. MIT Press, Cambridge (2001)"},{"key":"19_CR4","series-title":"Formal Models and Sematics (B)","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics (B), vol.\u00a0B, pp. 995\u20131072. North-Holland Pub. Co., Amsterdam (1990)"},{"key":"19_CR5","first-page":"272","volume-title":"ECAI 1992","author":"I. Langevelde van","year":"1992","unstructured":"van Langevelde, I., Philipsen, A., Treur, J.: Formal specification of compositional architectures. In: ECAI 1992. Proceedings of the 10th European conference on Artificial intelligence, New York, NY, USA, pp. 272\u2013276. John Wiley & Sons, Inc., Chichester (1992)"},{"issue":"1","key":"19_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1142\/S0218843097000069","volume":"6","author":"F.M.T. Brazier","year":"1997","unstructured":"Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: DESIRE: Modelling multi-agent systems in a compositional formal framework. Int. Journal of Cooperative Information Systems\u00a06(1), 67\u201394 (1997)","journal-title":"Int. Journal of Cooperative Information Systems"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of Concurrent MetateM - the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"19_CR8","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice Hall International (UK) Ltd., Hertfordshire, UK (1992)"},{"key":"19_CR9","unstructured":"d\u2019Inverno, M., Luck, M.: Understanding autonomous interaction. In: ECAI 1996: European Conference on Artificial Intelligence, pp. 529\u2013533 (1996)"},{"key":"19_CR10","unstructured":"Pauly, M.: Logical for Social Software. PhD thesis, University of Amsterdam (2001)"},{"issue":"1","key":"19_CR11","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM\u00a049(1), 672\u2013713 (2002)","journal-title":"J. ACM"},{"issue":"1","key":"19_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica\u00a075(1), 125\u2013157 (2003)","journal-title":"Studia Logica"},{"key":"19_CR13","unstructured":"Pauly, M., Wooldridge, M.: Logic for mechanism design \u2014 a manifesto. In: GTDT-2003: Proceedings of the 2003 Workshop on Game Theory and Decision Theory in Agent Systems (2003)"},{"key":"19_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/3-540-45448-9_8","volume-title":"Intelligent Agents VIII","author":"M. Ryan","year":"2002","unstructured":"Ryan, M., Schobbens, P.-Y.: Agents and roles: refinement in alternating-time temporal logic. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 100\u2013114. Springer, Heidelberg (2002)"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/1160633.1160659","volume-title":"AAMAS 2006","author":"T. Agotnes","year":"2006","unstructured":"Agotnes, T., van der Hoek, W., Wooldridge, M.: On the logic of coalitional games. In: AAMAS 2006. Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 153\u2013160. ACM Press, New York (2006)"},{"key":"19_CR16","first-page":"160","volume-title":"AAMAS 2006","author":"T. Agotnes","year":"2006","unstructured":"Agotnes, T., van der Hoek, W., Wooldridge, M.: Temporal qualitative coalitional games. In: AAMAS 2006. Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 160\u2013167. ACM Press, New York (2006)"},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/1160633.1160663","volume-title":"AAMAS 2006","author":"L. Sauro","year":"2006","unstructured":"Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about action and cooperation. In: AAMAS 2006. Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 185\u2013192. ACM Press, New York (2006)"},{"issue":"1","key":"19_CR18","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/568438.568456","volume":"32","author":"D. Harel","year":"2001","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic logic. SIGACT News\u00a032(1), 66\u201369 (2001)","journal-title":"SIGACT News"},{"key":"19_CR19","first-page":"36","volume":"1","author":"D.Y. Bugaychenko","year":"2005","unstructured":"Bugaychenko, D.Y., Soloviev, I.P.: Abstract architecture of an inteligent agent. Software Enginering\u00a01, 36\u201367 (2005)","journal-title":"Software Enginering"},{"issue":"1-3","key":"19_CR20","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0304-3975(02)00644-8","volume":"297","author":"F. Laroussinie","year":"2003","unstructured":"Laroussinie, F., Schnoebelen, P., Turuani, M.: On the expressivity and complexity of quantitative branching-time temporal logics. Theor. Comput. Sci.\u00a0297(1-3), 297\u2013315 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"19_CR21","unstructured":"Somenzi, F.: CUDD: Colorado University Decision Diagram package, \n                    \n                      http:\/\/vlsi.colorado.edu\/fabio\/CUDD\/"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Applications V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75254-7_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:57:20Z","timestamp":1619506640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75254-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752530","9783540752547"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75254-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}