{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T06:33:49Z","timestamp":1775457229271,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540647690","type":"print"},{"value":"9783540687221","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055017","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:11:15Z","timestamp":1153991475000},"page":"15-30","source":"Crossref","is-referenced-by-count":1,"title":["Making it up as they go along: A theory of reactive cooperation"],"prefix":"10.1007","author":[{"given":"Michael","family":"Wooldridge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Afsaneh","family":"Haddadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,24]]},"reference":[{"key":"2_CR1","volume-title":"Readings in Planning","year":"1990","unstructured":"J. F. Allen, J. Hendler, and A. Tate, editors. Readings in Planning, Morgan Kaufmann Publishers: San Mateo, CA, 1990."},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/3-540-58855-8_3","volume-title":"Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890)","author":"C. Castelfranchi","year":"1995","unstructured":"C. Castelfranchi. Guarantees for autonomy in cognitive agent architecture. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 56\u201370. Springer-Verlag: Berlin, Germany, January 1995."},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D. Chapman","year":"1987","unstructured":"D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32:333\u2013378, 1987.","journal-title":"Artificial Intelligence"},{"key":"2_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B. Chellas","year":"1980","unstructured":"B. Chellas. Modal Logic: An Introduction. Cambridge University Press: Cambridge, England, 1980."},{"key":"2_CR5","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":"2_CR6","doi-asserted-by":"crossref","first-page":"221","DOI":"10.7551\/mitpress\/3839.003.0014","volume-title":"Intentions in Communication","author":"P. R. Cohen","year":"1990","unstructured":"P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 221\u2013256. The MIT Press: Cambridge, MA, 1990."},{"key":"2_CR7","unstructured":"K. Decker and V. Lesser. Designing a family of coordination algorithms. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 73\u201380, San Francisco, CA, June 1995."},{"key":"2_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1699-2","volume-title":"Coordination of Distributed Problem Solvers","author":"E. H. Durfee","year":"1988","unstructured":"E. H. Durfee. Coordination of Distributed Problem Solvers. Kluwer Academic Publishers: Boston, MA, 1988."},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. A. Emerson","year":"1986","unstructured":"E. A. Emerson and J. Y. Halpern. 'sometimes\u2019 and \u2018not never\u2019 revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1):151\u2013178, 1986.","journal-title":"Journal of the ACM"},{"key":"2_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, J. Y. Halpern, Y Moses, and M. Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995."},{"issue":"2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"5","author":"R. E. Fikes","year":"1971","unstructured":"R. E. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 5(2): 189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"2_CR12","volume-title":"PhD thesis","author":"J. R. Galliers","year":"1988","unstructured":"J. R. Galliers. A Theoretical Framework for Computer Models of Cooperative Dialogue, Acknowledging Multi-Agent Conflict. PhD thesis, Open University, UK, 1988."},{"key":"2_CR13","unstructured":"M. P. Georgeff and F. F. Ingrand. Decision-making in an embedded reasoning system. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pages 972\u2013978, Detroit, MI, 1989."},{"key":"2_CR14","unstructured":"G. E. Hughes and M. J. Cresswell. Introduction to Modal Logic. Methuen and Co., Ltd., 1968."},{"key":"2_CR15","first-page":"395","volume-title":"An architecture for intelligent reactive systems","author":"L. P. Kaelbling","year":"1986","unstructured":"L. P. Kaelbling. An architecture for intelligent reactive systems. In M. P. Georgeff and A. L. Lansky, editors, Reasoning About Actions & Plans \u2014 Proceedings of the 1986 Workshop, pages 395\u2013410. Morgan Kaufmann Publishers: San Mateo, CA, 1986."},{"key":"2_CR16","unstructured":"S. Kraus, M. Nirke, and K. Sycara. Reaching agreements through argumentation: A logical model. In Proceedings of the Twelfth International Workshop on Distributed Artificial Intelligence (IWDAI-93), pages 233\u2013247, Hidden Valley, PA, May 1993."},{"key":"2_CR17","unstructured":"H. J. Levesque, P. R. Cohen, and J. H. T. Nunes. On acting together. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 94\u201399, Boston, MA, 1990."},{"key":"2_CR18","first-page":"347","volume-title":"Intelligent Agents II (LNAI Volume 1037)","author":"J. Mayfield","year":"1996","unstructured":"J. Mayfield, Y. Labrou, and T. Finin. Evaluating KQML as an agent communication language. In M. Wooldridge, J. P. M\u00fcller, and M. Tambe, editors, Intelligent Agents II (LNAI Volume 1037), pages 347\u2013360. Springer-Verlag: Berlin, Germany, 1996."},{"key":"2_CR19","first-page":"480","volume-title":"Readings in Planning","author":"R. C. Moore","year":"1990","unstructured":"R. C. Moore. A formal theory of knowledge and action. In J. F. Allen, J. Hendler, and A. Tate, editors, Readings in Planning, pages 480\u2013519. Morgan Kaufmann Publishers: San Mateo, CA, 1990."},{"key":"2_CR20","first-page":"473","volume-title":"Modeling rational agents within a BDI-architecture","author":"A. S. Rao","year":"1991","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":"2_CR21","unstructured":"J. S. Rosenschein and M. R. Genesereth. Deals among rational agents. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 91\u201399, Los Angeles, CA, 1985."},{"key":"2_CR22","volume-title":"Rules of Encounter: Designing Conventions for Automated Negotiation among Computers","author":"J. S. Rosenschein","year":"1994","unstructured":"J. S. Rosenschein and G. Zlotkin. Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. The MIT Press: Cambridge, MA, 1994."},{"key":"2_CR23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1111\/j.1467-8640.1990.tb00128.x","volume":"6","author":"S. Vere","year":"1990","unstructured":"S. Vere and T. Bickmore. A basic agent. Computational Intelligence, 6:41\u201360, 1990.","journal-title":"Computational Intelligence"},{"key":"2_CR24","unstructured":"E. Werner. What can agents do together: A semantics of co-operative ability. In Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI-90), pages 694\u2013701, Stockholm, Sweden, 1990."},{"key":"2_CR25","first-page":"663","volume-title":"LNAI Volume 1085","author":"M. Wooldridge","year":"1996","unstructured":"M. Wooldridge. Practical reasoning with procedural knowledge: A logic of BDI agents with know-how. In D. M. Gabbay and H.-J. Ohlbach, editors, Practical Reasoning \u2014 Proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR-96 (LNAI Volume 1085), pages 663\u2013678. Springer-Verlag: Berlin, Germany, June 1996."},{"key":"2_CR26","unstructured":"M. Wooldridge, S. Bussmann, and M. Klosterberg. Production sequencing as negotiation. In Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM-96), pages 709\u2013726, London, UK, April 1996."},{"key":"2_CR27","unstructured":"M. Wooldridge and M. Fisher. A first-order branching time logic of multi-agent systems. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pages 234\u2013238, Vienna, Austria, 1992."},{"key":"2_CR28","unstructured":"M. Wooldridge and N. R. Jennings. Formalizing the cooperative problem solving process. In Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence (IWDAI-94), pages 403\u201317, Lake Quinalt, WA, July 1994."}],"container-title":["Lecture Notes in Computer Science","Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:16:43Z","timestamp":1736479003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647690","9783540687221"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0055017","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}