{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:34:12Z","timestamp":1725485652648},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434757"},{"type":"electronic","value":"9783540460169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46016-0_41","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T23:05:14Z","timestamp":1181171114000},"page":"387-400","source":"Crossref","is-referenced-by-count":2,"title":["Logic of Interaction for Multiagent Systems"],"prefix":"10.1007","author":[{"given":"Mat\u00edas","family":"Alvarado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonid","family":"Sheremetov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Germ\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erick","family":"Alva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,7]]},"reference":[{"key":"41_CR1","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"N. R. Jennings","year":"2000","unstructured":"Jennings, N. R. On agent-based software engineering. Artificial Intelligence, 2000, 117:277\u2013296.","journal-title":"Artificial Intelligence"},{"key":"41_CR2","volume-title":"Multi-Agent Systems","author":"J. Ferber","year":"1999","unstructured":"Ferber, J. Multi-Agent Systems, Addison-Wesley, MA, 1999."},{"key":"41_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. R. Cohen","year":"1990","unstructured":"P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213\u2013261, 1990.","journal-title":"Artificial Intelligence"},{"key":"41_CR4","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic Volume II \u2014 Extensions of Classical Logic","author":"D. Harel","year":"1984","unstructured":"D. Harel. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II \u2014 Extensions of Classical Logic, pages 497\u2013604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984. (Synthese library Volume 164)."},{"key":"41_CR5","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Y. Halpern","year":"1992","unstructured":"J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"unstructured":"A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473\u2013484. Morgan Kaufmann Publishers:San Mateo, CA, April 1991.","key":"41_CR6"},{"doi-asserted-by":"crossref","unstructured":"Chainbi, W. A belief-goal-role logic for a single-agent system. Proceedings of the 16th ACM SAC2001 Symposium on Applied Computing March 11\u201314, 2001, Las Vegas, NV USA.","key":"41_CR7","DOI":"10.1145\/372202.372207"},{"unstructured":"M. Wooldridge. Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), Amsterdam, The Netherlands, 1994, pp. 279\u2013283.","key":"41_CR8"},{"doi-asserted-by":"crossref","unstructured":"Traum, D. Speech Acts for Dialogue Agents. M. Wooldgridge and A.Rao. Foundations of Rational Agency, Kluwer Academic Publishers, 1999, pp. 172\u2013201.","key":"41_CR9","DOI":"10.1007\/978-94-015-9204-8_8"},{"key":"41_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-62686-7","volume-title":"Teamwork via team plans in intelligent autonomous agent systems","author":"L. Cavedon","year":"1997","unstructured":"L. Cavedon, A. Rao, L. Sonenberg and G. Tidhar, Teamwork via team plans in intelligent autonomous agent systems, International Conference on WorldWide Computing and its Applications, Tsukuba, Japan. Lecture Notes in Computer Science 1274, Springer (1997)."},{"key":"41_CR11","first-page":"83","volume":"7","author":"M. Tambe","year":"1997","unstructured":"M. Tambe. Towards Flexible Teamwork. Journal of AI Research, 7(1997), 83\u2013124.","journal-title":"Journal of AI Research"},{"issue":"2","key":"41_CR12","first-page":"269","volume":"86","author":"B. Grosz","year":"1996","unstructured":"Grosz, B. & Kraus S. Collaborative Plans for complex group action. AI, 86(2):269\u2013357, 1996.","journal-title":"Collaborative Plans for complex group action"},{"doi-asserted-by":"crossref","unstructured":"Boutilier, C. & R.I. Brafman. Planning with concurrent interacting actions. Proc. Of the 14th National Conf. On AI (AAAI97), 1997.","key":"41_CR13","DOI":"10.1613\/jair.740"},{"doi-asserted-by":"crossref","unstructured":"Kinny D., Georgeff, M., & Rao, A. A Methodology and Modelling Technique for Systems of BDI Agents. Technical Note, 58. Australian Artificial Intelligence Institute, 1996.","key":"41_CR14","DOI":"10.1007\/BFb0031846"},{"doi-asserted-by":"crossref","unstructured":"Nwana, H. S., Ndumu, D. T., and Lee, L. C, ZEUS: An Advanced Tool Kit for Engineering Distributed Multi Agent Systems, Prac. App. Agent Multi-agent Systems (PAAM), (March, 1998), 377\u2013391.","key":"41_CR15","DOI":"10.1145\/301136.301234"},{"key":"41_CR16","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Michael Wooldridge, Nicholas R Jennings and David Kinny. The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multiagent Systems, 3, 285\u2013312, 2000.","journal-title":"Autonomous Agents and Multiagent Systems"},{"unstructured":"Finin, T., Labrou, Ya., & Mayfield J. (1997) KQML as an agent communication language, in J. Bradshaw, ed., Software Agents, AAAI\/MIT Press, 1997.","key":"41_CR17"},{"unstructured":"FIPA Agent Communication Language, Foundation for Intelligent Physical Agents, URL: http:\/\/www.fipa.org .","key":"41_CR18"},{"key":"41_CR19","volume-title":"An approach to Knowledge and Belief based on Kleene Three-Valued Logic","author":"M. Alvarado","year":"1998","unstructured":"M. Alvarado, An approach to Knowledge and Belief based on Kleene Three-Valued Logic, Ph D Thesis, Technical University of Catalonia, Spain, 1998."},{"doi-asserted-by":"crossref","unstructured":"W. Van Der Hoek, B. Van Linder and J-J.Ch. Meyer, An integrated modal approach to rational agents. In Michael Wooldridge and Anand Rao, Foundations of Rational Agency, pages 133\u2013167, Kluwer Academic Publishers: 1999.","key":"41_CR20","DOI":"10.1007\/978-94-015-9204-8_7"},{"key":"41_CR21","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1613\/jair.506","volume":"10","author":"N. Friedman","year":"1999","unstructured":"Nir Friedman and Joseph Y. Halpern. Modeling Belief in Dynamic Systems, Part II: Revision and Update. Journal of Artificial Intelligence Research 10 (1999) 117\u2013167","journal-title":"Journal of Artificial Intelligence Research"},{"unstructured":"L. Steels. Cooperation between distributed agents through self organization. In Y. Demazeau and J.-P. M\u00fcller, editors, Decentralized Al \u2014 Proceedings of the First European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-89), pages 175\u2013196. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.","key":"41_CR22"},{"volume-title":"Multiagent systems: a Modern Approach to Distributed Artificial Intelligence","year":"1999","unstructured":"G. Weiss (Ed.) Multiagent systems: a Modern Approach to Distributed Artificial Intelligence. The MIT Press Cambridge, Mass. 1999.","key":"41_CR23"},{"doi-asserted-by":"crossref","unstructured":"C. Castelfranchi and R. Falcone (1997). From Task Delegation to Role Delegation. In Proceedings of the AI*IA 97: Advances in Artificial Intelligence Congress. LNAI: 1321, pp. 278\u2013289.","key":"41_CR24","DOI":"10.1007\/3-540-63576-9_115"},{"unstructured":"M. Esteva, J. A. Rodr\u00edguez-Aguilar, J. L. Arcos, C. Sierra, and P. Garcia. Institutionalising open multi-agent systems. A formal approach. Technical report, Artificial Intelligence Research Institute. Spanish Council for Scientific Research. IIIA Research Report 2000-01 ( http:\/\/www.iiia.csic.es\/Publications\/Reports\/2000 ), 2000.","key":"41_CR25"},{"unstructured":"Wegner, P. and Goldin D., Mathematical Models of Interactive Computing, URL: http:\/\/www.cs.brown.edu\/people\/pw\/home.html 1999.","key":"41_CR26"},{"unstructured":"F. Dignum, D. Kinny, L. Sonenberg. Motivational Attitudes of Agents: On Desires, Obligations and Norms. In Proc of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS\u201901, Cracow, Poland, September, 2001, pp. 61\u201370.","key":"41_CR27"},{"unstructured":"C. Castelfranchi, F. Dignum, C. Jonker and J. Treur. Deliberate Normative Agents: Principles and Architectures, In Proceedings of ATAL-99, Orlando, 1999. pp 206\u2013220.","key":"41_CR28"},{"doi-asserted-by":"crossref","unstructured":"L. Cavedon and L. Sonenberg. On social commitments, roles and preferred goals, In Proceedings of ICMAS\u201998, Paris, July 1998, (ed) Y. Demazeau, pp 80\u201387.","key":"41_CR29","DOI":"10.1109\/ICMAS.1998.699035"},{"key":"41_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58976-7","volume-title":"Executable Modal and Temporal Logics","author":"M. Fisher","year":"1995","unstructured":"M. Fisher. Towards a semantics for Concurrent METATEM. In M. Fisher and R. Owens, editors, Executable Modal and Temporal Logics. Springer-Verlag: Heidelberg, Germany, 1995."},{"doi-asserted-by":"crossref","unstructured":"M. Wooldridge. This is MyWorld: The Logic of an Agent-Oriented DAI Testbed. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag, 1995.","key":"41_CR31","DOI":"10.1007\/3-540-58855-8_10"},{"unstructured":"Chen, Xiao & De Giacomo Giuseppe, Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach, Short version in 30th AAAI Conference, 1996.","key":"41_CR32"},{"doi-asserted-by":"crossref","unstructured":"Raymond Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.","key":"41_CR33","DOI":"10.7551\/mitpress\/4074.001.0001"}],"container-title":["Lecture Notes in Computer Science","MICAI 2002: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46016-0_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T03:22:30Z","timestamp":1683861750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46016-0_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434757","9783540460169"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-46016-0_41","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}