{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:00Z","timestamp":1725551160014},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240761"},{"type":"electronic","value":"9783540305361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30536-1_14","type":"book-chapter","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T23:31:39Z","timestamp":1270078299000},"page":"114-125","source":"Crossref","is-referenced-by-count":0,"title":["A Multi-agent Framework Based on Communication and Concurrency"],"prefix":"10.1007","author":[{"given":"M. Jamshid","family":"Bagherzadeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Arun-Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: AAMAS 2003, pp. 409\u2013416 (2003)","DOI":"10.1145\/860575.860641"},{"issue":"2","key":"14_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clark","year":"1986","unstructured":"Clark, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programming Lang. Syst.\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Programming Lang. Syst."},{"key":"14_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"2-3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042(2-3), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-25936-7_6","volume-title":"Programming Multi-Agent Systems","author":"M. Dastani","year":"2004","unstructured":"Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.-J.C.: A Programming Language for Cognitive Agents Goal Directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS, vol.\u00a03067, pp. 111\u2013130. Springer, Heidelberg (2004)"},{"issue":"7","key":"14_CR6","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1016\/0169-7552(93)90047-8","volume":"25","author":"R. Nicola De","year":"1993","unstructured":"De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action-based framework for verifying logical and behavioral properties of concurrent systems. Computer Networks and ISDN Systems\u00a025(7), 761\u2013778 (1993)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0004-3702(02)00196-0","volume":"139","author":"C. Dixon","year":"2002","unstructured":"Dixon, C., Fisher, M., Bolotov, A.: Clausal resolution in a logic of rational agency. Artif. Intell.\u00a0139(1), 47\u201389 (2002)","journal-title":"Artif. Intell."},{"key":"14_CR8","unstructured":"Foundation for Intelligent Physical\u00a0Agents(FIPA). Fipa97 agent specification, http:\/\/www.fipa.org"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-94-015-8994-9_8","volume-title":"Discourse, Interaction, and Communication","author":"J.Y. Halpern","year":"1998","unstructured":"Halpern, J.Y.: A logical approach to reasoning about uncertainty: a tutorial. In: Arrazola, X., Korta, K., Pelletier, F.J. (eds.) Discourse, Interaction, and Communication, pp. 141\u2013155. Kluwer, Dordrecht (1998)"},{"key":"14_CR10","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"14_CR11","unstructured":"Kripke, S.A.: Semantical considerations on modal logic. In: A Colloquium on Modal and Many-Valued Logics, Helsinki (1962)"},{"key":"14_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1023\/A:1010016503852","volume":"4","author":"J. Pitt","year":"1999","unstructured":"Pitt, J., Mamdani, A.: Some remarks on the semantics of FIPA\u2019s agent communication language. Aut. Agents and Multi-Agent Systems\u00a04, 333\u2013356 (1999)","journal-title":"Aut. Agents and Multi-Agent Systems"},{"key":"14_CR14","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical report, DAIMI, FN 19, Department of Comp. Sci., University of Aarhus, Denmark (1981)"},{"key":"14_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI Agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"14_CR16","unstructured":"Rao, A.S., Georgeff, M.P.: BDI-agents: From theory to practice. In: Proceedings of the First Intl. Conf. on Multiagent Systems (ICMAS 1995), San Francisco (1995)"},{"key":"14_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. The MIT Press, Cambridge (1993)"},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artif. Intell.\u00a060(1), 51\u201392 (1993)","journal-title":"Artif. Intell."},{"key":"14_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer, Heidelberg (2001)"},{"issue":"2","key":"14_CR20","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1021836202093","volume":"6","author":"R.M. Eijk Van","year":"2003","unstructured":"Van Eijk, R.M., De Boer, F.S., Van Der Hoek, W., Meyer, J.-J.Ch.: A verification framework for agent communication. Autonomous Agents and Multi-Agent Systems\u00a06(2), 185\u2013219 (2003)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"14_CR21","volume-title":"Proc. of the 4th Intrl. Conf. on Multi-Agent Systems (ICMAS 2000)","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Computationally grounded theories of agency. In: Durfee, E. (ed.) Proc. of the 4th Intrl. Conf. on Multi-Agent Systems (ICMAS 2000). IEEE Press, Los Alamitos (2000)"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/ICMAS.1998.699219","volume-title":"Proceedings of the 3rd International Conference on Multi Agent Systems","author":"M. Wooldridge","year":"1998","unstructured":"Wooldridge, M.: Verifiable semantics for agent communication languages. In: Demazeau, Y. (ed.) Proceedings of the 3rd International Conference on Multi Agent Systems, pp. 349\u2013356. IEEE Computer Society, Los Alamitos (1998)"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/544862.544965","volume-title":"Proc. of the first intrl. joint conf. on Autonomous agents and multiagent systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M., Fisher, M., Huget, M.-Ph., Parsons, S.: Model checking multi-agent systems with MABLE. In: Proc. of the first intrl. joint conf. on Autonomous agents and multiagent systems, pp. 952\u2013959. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing - IWDC 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30536-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:26:12Z","timestamp":1620012372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30536-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240761","9783540305361"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30536-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}