{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T00:40:01Z","timestamp":1736296801659,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":63,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326168"},{"type":"electronic","value":"9783540326175"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678823_1","type":"book-chapter","created":{"date-parts":[[2006,3,13]],"date-time":"2006-03-13T09:46:01Z","timestamp":1142243161000},"page":"3-22","source":"Crossref","is-referenced-by-count":24,"title":["MetateM: The Story so Far"],"prefix":"10.1007","author":[{"given":"Michael","family":"Fisher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(89)90138-2","volume":"64","author":"M. Abadi","year":"1989","unstructured":"Abadi, M.: The Power of Temporal Proofs. Theoretical Computer Science\u00a064, 35\u201384 (1989)","journal-title":"Theoretical Computer Science"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/3-540-52559-9_62","volume-title":"Stepwise Refinement of Distributed Systems","author":"H. Barringer","year":"1990","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: METATEM: A Framework for Programming in Temporal Logic. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol.\u00a0430, pp. 94\u2013129. Springer, Heidelberg (1990)"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: METATEM: An Introduction. Formal Aspects of Computing\u00a07, 533\u2013549 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"1_CR4","volume-title":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"H. Barringer","year":"1991","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Hunter, A.: Meta-Reasoning in Executable Temporal Logic. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, April 1991. Morgan Kaufmann, San Francisco (1991)"},{"volume-title":"The Imperative Future: Principles of Executable Temporal Logics","year":"1996","key":"1_CR5","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester (1996)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Barringer, H., Kuiper, R., Pnueli, A.: A Really Abstract Concurrent Model and its Temporal Logic. In: Proceedings of the Thirteenth ACM Symposium on the Principles of Programming Languages, St. Petersberg Beach, Florida (January 1986)","DOI":"10.1145\/512644.512660"},{"key":"1_CR7","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Intelligent Agents III. Agent Theories, Architectures, and Languages","author":"M. Benerecetti","year":"1997","unstructured":"Benerecetti, M., Cimatti, A., Giunchiglia, E., Giunchiglia, F., Serafini, L.: Formal Specification of Beliefs inMulti-Agent Systems. In: Jennings, N.R., Wooldridge, M.J., M\u00fcller, J.P. (eds.) ECAI-WS 1996 and ATAL 1996. LNCS (LNAI), vol.\u00a01193. Springer, Heidelberg (1997)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Birman, K.P.: The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91-1216, Department of Computer Science, Cornell University (July 1991)","DOI":"10.21236\/ADA238065"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M.E. Bratman","year":"1988","unstructured":"Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and Resource-Bounded Practical Reasoning. Computational Intelligence\u00a04, 349\u2013355 (1988)","journal-title":"Computational Intelligence"},{"key":"1_CR10","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/3-540-58855-8_4","volume-title":"Intelligent Agents","author":"A. Cimatti","year":"1995","unstructured":"Cimatti, A., Serafini, L.: Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol.\u00a0890, pp. 71\u201385. Springer, Heidelberg (1995)"},{"key":"1_CR11","first-page":"996","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, pp. 996\u20131072. Elsevier, Amsterdam (1990)"},{"key":"1_CR12","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Workshop on Multi-Agent Systems: Theory and Applications (MASTA)","author":"N.C. Ferreira de","year":"2005","unstructured":"de Ferreira, N.C., Fisher, M., van der Hoek, W.: A Logical Implementation of Uncertain Agents. In: Workshop on Multi-Agent Systems: Theory and Applications (MASTA). LNCS (LNAI). Springer, Heidelberg (2005)"},{"key":"1_CR13","unstructured":"Finger, M., Fisher, M., Owens, R.: METATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic. In: Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA\/AIE), Edinburgh, U.K, June 1993. Gordon and Breach Publishers, Reading (1993)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1007\/3-540-55602-8_178","volume-title":"Automated Deduction - CADE-11","author":"M. Fisher","year":"1992","unstructured":"Fisher, M.: A Normal Form for First-Order Temporal Formulae. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 370\u2013384. Springer, Heidelberg (1992)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"First International Conference on Temporal Logic (ICTL)","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A Survey of Concurrent METATEM \u2014 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":"1_CR16","volume-title":"Intelligent Agents","author":"M. Fisher","year":"1995","unstructured":"Fisher, M.: Representing and Executing Agent-Based Systems. In: Wooldridge, M., Jennings, N.R. (eds.) Intelligent Agents. Springer, Heidelberg (1995)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Fisher, M.: A Temporal Semantics for Concurrent METATEM. Journal of Symbolic Computation\u00a022(5\/6) (November\/December 1996)","DOI":"10.1006\/jsco.1996.0069"},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1017\/S0269888900007670","volume":"11","author":"M. Fisher","year":"1996","unstructured":"Fisher, M.: An Introduction to Executable Temporal Logics. Knowledge Engineering Review\u00a011(1), 43\u201356 (1996)","journal-title":"Knowledge Engineering Review"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Fisher, M.: A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation\u00a07(4) (August 1997)","DOI":"10.1093\/logcom\/7.4.429"},{"key":"1_CR20","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","author":"M. Fisher","year":"1997","unstructured":"Fisher, M.: Implementing BDI-like Systems by Direct Execution. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan-Kaufmann, San Francisco (1997)"},{"key":"1_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/3-540-49057-4_15","volume-title":"Intelligent Agents V. Agents Theories, Architectures, and Languages","author":"M. Fisher","year":"1999","unstructured":"Fisher, M.: Representing Abstract Agent Architectures. In: Rao, A.S., Singh, M.P., M\u00fcller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol.\u00a01555, pp. 227\u2013241. Springer, Heidelberg (1999)"},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10458-004-3140-4","volume":"10","author":"M. Fisher","year":"2005","unstructured":"Fisher, M.: Temporal Development Methods for Agent-Based Systems. Journal of Autonomous Agents and Multi-Agent Systems\u00a010(1), 41\u201366 (2005)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"1_CR23","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","author":"M. Fisher","year":"1999","unstructured":"Fisher, M., Ghidini, C.: Programming Resource-Bounded Deliberative Agents. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Francisco (1999)"},{"key":"1_CR24","unstructured":"Fisher, M., Ghidini, C.: Agents Playing with Dynamic Resource Bounds. In: ECAI Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent Systems, Berlin, Germany (2000)"},{"key":"1_CR25","unstructured":"Fisher, M., Ghidini, C.: Specifying and Implementing Agents with Dynamic Resource Bounds. In: Proceedings of Second International Cognitive Robotics Workshop, Berlin, Germany (2000)"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1145\/544862.544943","volume-title":"Proc. First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)","author":"M. Fisher","year":"2002","unstructured":"Fisher, M., Ghidini, C.: The ABC of Rational Agent Programming. In: Proc. First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 849\u2013856. ACM Press, New York (2002)"},{"key":"1_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-45133-4_2","volume-title":"Formal Approaches to Agent-Based Systems","author":"M. Fisher","year":"2003","unstructured":"Fisher, M., Ghidini, C., Hirsch, B.: Organising Logic-Based Agents. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol.\u00a02699, pp. 15\u201327. Springer, Heidelberg (2003)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-25930-5_8","volume-title":"Objects, Agents, and Features","author":"M. Fisher","year":"2004","unstructured":"Fisher, M., Ghidini, C., Hirsch, B.: Organising Computation through Dynamic Grouping. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol.\u00a02975, pp. 117\u2013136. Springer, Heidelberg (2004)"},{"key":"1_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-30200-1_2","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Fisher","year":"2004","unstructured":"Fisher, M., Ghidini, C., Hirsch, B.: Programming Groups of Rational Agents. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03259, pp. 16\u201333. Springer, Heidelberg (2004)"},{"key":"1_CR30","volume-title":"Intensional Programming II","author":"M. Fisher","year":"2000","unstructured":"Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Gergatsoulis, M., Rondogiannis, P. (eds.) Intensional Programming II. World Scientific Publishing Co., Singapore (2000)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/BFb0013075","volume-title":"Logic Programming and Automated Reasoning","author":"M. Fisher","year":"1992","unstructured":"Fisher, M., Owens, R.: From the Past to the Future: Executing Temporal Logic Programs. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol.\u00a0624, pp. 214\u2013225. Springer, Heidelberg (1992)"},{"key":"1_CR32","series-title":"LNAI","volume-title":"Executable Modal and Temporal Logics","year":"1995","unstructured":"Fisher, M., Owens, R. (eds.): IJCAI-WS 1993. LNCS (LNAI), vol.\u00a0897. Springer, Heidelberg (1995)"},{"key":"1_CR33","volume-title":"Artificial Societies","author":"M. Fisher","year":"1995","unstructured":"Fisher, M., Wooldridge, M.: A Logical Approach to the Representation of Societies of Agents. In: Gilbert, N., Conte, R. (eds.) Artificial Societies. UCL Press, London (1995)"},{"key":"1_CR34","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45634-1_11","volume-title":"Foundations and Applications of Multi-Agent Systems","author":"M. Fisher","year":"2002","unstructured":"Fisher, M., Ghidini, C.: Agents with Bounded Temporal Resources. In: d\u2019Inverno, M., Luck, M., Fisher, M., Preist, C. (eds.) UKMAS Workshops 1996-2000. LNCS (LNAI), vol.\u00a02403, p. 169. Springer, Heidelberg (2002)"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","first-page":"402","volume-title":"Temporal Logic in Specification","author":"D. Gabbay","year":"1989","unstructured":"Gabbay, D.: Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In: Banieqbal, B., Pnueli, A., Barringer, H. (eds.) Temporal Logic in Specification. LNCS, vol.\u00a0398, pp. 402\u2013450. Springer, Heidelberg (1989)"},{"key":"1_CR36","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-48315-2_12","volume-title":"Modeling and Using Context","author":"C. Ghidini","year":"1999","unstructured":"Ghidini, C.: Modelling (Un)Bounded Beliefs. In: Bouquet, P., Serafini, L., Br\u00e9zillon, P., Benercetti, M., Castellani, F. (eds.) CONTEXT 1999. LNCS (LNAI), vol.\u00a01688, p. 145. Springer, Heidelberg (1999)"},{"key":"1_CR37","first-page":"282","volume-title":"Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998)","author":"F. Giunchiglia","year":"1998","unstructured":"Giunchiglia, F., Ghidini, C.: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 282\u2013289. Morgan Kaufmann, San Francisco (1998); Long version forthcoming in Artificial Intelligence"},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics (or: how we can do without modal logics). Artificial Intelligence\u00a065, 29\u201370 (1994); Also IRST-Technical Report 9110-07, IRST, Trento, Italy","journal-title":"Artificial Intelligence"},{"key":"#cr-split#-1_CR39.1","unstructured":"Giunchiglia, F., Serafini, L., Giunchiglia, E., Frixione, M.: Non-Omniscient Belief as Context-Based Reasoning. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI), Chambery, France, pp. 548???554 (1993);"},{"key":"#cr-split#-1_CR39.2","unstructured":"Also IRSTTechnical Report 9206-03, IRST, Trento, Italy"},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artificial Intelligence\u00a054, 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Harel, D., Pnueli, A.: On the Development of Reactive Systems. Technical Report CS85- 02, Department of Applied Mathematics, The Weizmann Institute of Science, Revohot, Israel (January 1985)","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"1_CR42","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/11533092_16","volume-title":"Computational Logic in Multi-Agent Systems","author":"B. Hirsch","year":"2005","unstructured":"Hirsch, B., Fisher, M., Ghidini, C., Busetta, P.: Organising Software in Active Environments. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 265\u2013280. Springer, Heidelberg (2005)"},{"key":"1_CR43","unstructured":"Hirsch, B.: Programming Rational Agents. PhD thesis, Department of Computer Science, University of Liverpool, United Kingdom (May 2005)"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Hodkinson, I., Wolter, F., Zakharyashev, M.: Decidable Fragments of First-Order Temporal Logics. Annals of Pure and Applied Logic (2000)","DOI":"10.1016\/S0168-0072(00)00018-X"},{"key":"1_CR45","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and Mobile Processes (revised). Technical Report UCAM-CL-TR-580, Computer Lab, Cambridge University, U.K (2004)"},{"key":"1_CR46","unstructured":"Kellett, A.: Implementation Techniques for Concurrent METATEM. PhD thesis, Department of Computing and Mathematics, Manchester Metropolitan University (2000)"},{"key":"1_CR47","volume-title":"Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning (TIME)","author":"A. Kellett","year":"1997","unstructured":"Kellett, A., Fisher, M.: Automata Representations for Concurrent METATEM. In: Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning (TIME). IEEE Press, Los Alamitos (1997)"},{"key":"1_CR48","series-title":"Series of Handbooks in Defeasible Reasoning and Uncertainty Management Systems","volume-title":"Agents, Reasoning and Dynamics","author":"A. Kellett","year":"2001","unstructured":"Kellett, A., Fisher, M.: Coordinating Heterogeneous Components using Executable Temporal Logic. In: Meyer, J.-J., Treur, J. (eds.) Agents, Reasoning and Dynamics. Series of Handbooks in Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a06. Kluwer Academic publishers, Dordrecht (2001)"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-15648-8_16","volume-title":"Logics of Programs","author":"O. Lichtenstein","year":"1985","unstructured":"Lichtenstein, O., Pnueli, A., Zuck, L.: The Glory of the Past. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol.\u00a0193, pp. 196\u2013218. Springer, Heidelberg (1985)"},{"key":"1_CR50","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1992)"},{"key":"1_CR51","doi-asserted-by":"publisher","first-page":"128","DOI":"10.2307\/1906951","volume":"21","author":"J.F. Nash","year":"1953","unstructured":"Nash, J.F.: Two-person Cooperative Games. Econometrica\u00a021, 128\u2013140 (1953)","journal-title":"Econometrica"},{"key":"1_CR52","unstructured":"Stock, O., Zancanaro, M.: Intelligent Interactive Information Presentation for Cultural Tourism. In: Proceedings of the International CLASS Workshop on Natural Intell igent and Effective Interaction in Multimodal Dialogue Systems, Copenhagen, Denmark, June 28-29 (2002)"},{"key":"1_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/3-540-63385-5_47","volume-title":"Computational Logic and Proof Theory","author":"R. Pliuskevicius","year":"1997","unstructured":"Pliuskevicius, R.: On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) KGC 1997. LNCS, vol.\u00a01289, pp. 241\u2013254. Springer, Heidelberg (1997)"},{"key":"1_CR54","volume-title":"International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling Agents within a BDI-Architecture. In: Fikes, R., Sandewall, E. (eds.) International Conference on Principles of Knowledge Representation and Reasoning (KR). Morgan Kaufmann, Cambridge (1991)"},{"key":"1_CR55","unstructured":"Reynolds, M.: METATEM in Intensive Care. Technical Report tr-97-01, Kings College, London (1997)"},{"key":"1_CR56","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(88)90045-X","volume":"57","author":"A. Szalas","year":"1988","unstructured":"Szalas, A., Holenderski, L.: Incompleteness of First-Order Temporal Logic with Until. Theoretical Computer Science\u00a057, 317\u2013325 (1988)","journal-title":"Theoretical Computer Science"},{"key":"1_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3540608052_56","volume-title":"Intelligent Agents II - Agent Theories, Architectures, and Languages","author":"B. Linder van","year":"1996","unstructured":"van Linder, B., van der Hoek, W., Meyer, J.J.: How to Motivate your Agents. In: Tambe, M., M\u00fcller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol.\u00a01037, pp. 17\u201332. Springer, Heidelberg (1996)"},{"key":"1_CR58","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)"},{"key":"1_CR59","volume-title":"An Introduction to Multiagent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester (2002)"},{"key":"1_CR60","unstructured":"Wooldridge, M., Bradfield, J., Fisher, M., Pauly, M.: Game-Theoretic Interpretations of Executable Logic (unpublished paper)"},{"issue":"2","key":"1_CR61","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review\u00a010(2), 115\u2013152 (1995)","journal-title":"The Knowledge Engineering Review"},{"key":"1_CR62","series-title":"Applied Logic Series","volume-title":"Foundations of Rational Agency","year":"1999","unstructured":"Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers, Dordrecht (1999)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678823_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T00:10:12Z","timestamp":1736295012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678823_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326168","9783540326175"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/11678823_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}