{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T09:03:24Z","timestamp":1748941404523,"version":"3.32.0"},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2005,1]]},"DOI":"10.1007\/s10458-004-3140-4","type":"journal-article","created":{"date-parts":[[2004,11,20]],"date-time":"2004-11-20T02:06:37Z","timestamp":1100916397000},"page":"41-66","source":"Crossref","is-referenced-by-count":34,"title":["Temporal Development Methods for Agent-Based"],"prefix":"10.1007","volume":"10","author":[{"given":"Michael","family":"Fisher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"5273140_CR1","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens, \u201cMETATEM: An introduction,\u201d Formal Aspects Comput., vol. 7, no.5, pp. 533\u2013549, 1995.","journal-title":"Formal Aspects Comput."},{"volume-title":"The Imperative Future: Principles of Executable Temporal Logics","year":"1996","key":"5273140_CR2","unstructured":"H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds (eds.), The Imperative Future: Principles of Executable Temporal Logics, Research Studies Press: Chichester, United Kingdom, 1996."},{"key":"5273140_CR3","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli, \u201cA really abstract concurrent model and its temporal logic,\u201d in Proceedings of the Thirteenth ACM Symposium on the Principles of Programming Languages, St. Petersberg Beach, Florida, 1986.","DOI":"10.1145\/512644.512660"},{"key":"5273140_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P. Blackburn","year":"1997","unstructured":"P. Blackburn and M. de Rijke, \u201cWhy combine logics?,\u201d Studia Logica, vol. 59, pp. 5\u201327, 1997.","journal-title":"Studia Logica"},{"key":"5273140_CR5","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1080\/095281399146625","volume":"11","author":"A. Bolotov","year":"1999","unstructured":"A. Bolotov and M. Fisher, \u201cA clausal resolution method for CTL branching-time temporal logic,\u201d J. Exp. Theor. Artif. Intel., vol. 11, pp. 77\u201393, 1999.","journal-title":"J. Exp. Theor. Artif. Intel."},{"issue":"2","key":"5273140_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/5254.757632","volume":"14","author":"J. Bradshaw","year":"1999","unstructured":"J. Bradshaw, M. Greaves, H. Holmback, T. Karygiannis, B. Silverman, N. Suri, and A. Wong, \u201cAgents for the masses?,\u201d EEE Intell. Syst., vol. 14, no.2, pp. 53\u201363, 1999.","journal-title":"EEE Intell. Syst."},{"key":"5273140_CR7","doi-asserted-by":"crossref","first-page":"15","DOI":"10.7551\/mitpress\/3839.003.0004","volume-title":"Intentions in Communication","author":"M. E. Bratman","year":"1990","unstructured":"M. E. Bratman, \u201cWhat is intention?,\u201d in P. R. Cohen, J. L. Morgan, and M. E. Pollack (eds.), Intentions in Communication, The MIT Press: Cambridge, MA, 1990, pp. 15\u201332."},{"key":"5273140_CR8","doi-asserted-by":"crossref","unstructured":"M. Dastani, F. de Boer, F. Dignum, and J.J. Meyer, \u201cProgramming agent deliberation: An approach illustrated using the 3APL language,\u201d in Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS \u201803), Melbourne, July 2003, ACM Press 2003.","DOI":"10.1145\/860575.860592"},{"key":"5273140_CR9","doi-asserted-by":"crossref","unstructured":"A. Degtyarev, M. Fisher, and B. Konev, \u201cMonodic temporal resolution,\u201d in Proceedings of the CADE-19. Available as Technical report ULCS-03-001 from http:\/\/www.csc.liv.ac.uk\/research\/, 2003.","DOI":"10.1007\/978-3-540-45085-6_35"},{"key":"5273140_CR10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/A:1018942108420","volume":"22","author":"C. Dixon","year":"1998","unstructured":"C. Dixon, \u201cTemporal resolution using a Breadth-First Search Algorithm,\u201d Ann. Math. Artif. Intel., vol. 22, pp. 87\u2013115, 1998.","journal-title":"Ann. Math. Artif. Intel."},{"key":"5273140_CR11","unstructured":"C. Dixon and M. Fisher,\u201cClausal resolution for logics of time and knowledge with synchrony and perfect recall,\u201d in Proceedings of Joint International Conference on Temporal Logic and Advances in Modal Logic (AiML-ICTL), Leipzig, Germany, 2000."},{"issue":"1","key":"5273140_CR12","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0004-3702(02)00196-0","volume":"139","author":"C. Dixon","year":"2002","unstructured":"C. Dixon, M. Fisher, and A. Bolotov,\u201cResolution in a logic of rational agency,\u201d Artif. Intell. (Elsevier Science) vol.139, no.1, pp.47\u201389, 2002.","journal-title":"Artif. Intell."},{"issue":"3","key":"5273140_CR13","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1093\/logcom\/8.3.345","volume":"8","author":"C. Dixon","year":"1998","unstructured":"C. Dixon, M. Fisher, and M. Wooldridge, \u201cResolution for temporal logics of knowledge,\u201d J. Logic Comput., vol. 8, no.3, pp. 345\u2013372, 1998.","journal-title":"J. Logic Comput."},{"key":"5273140_CR14","doi-asserted-by":"crossref","unstructured":"E. A. Emerson, \u201cTemporal and modal logic,\u201d in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier, 1990, pp. 996\u20131072.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"5273140_CR15","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning About Knowledge, MIT Press, 1996.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"5273140_CR16","unstructured":"M. Fisher, \u201cA resolution method for temporal logic,\u201d in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI), Sydney, Australia, 1991."},{"key":"5273140_CR17","doi-asserted-by":"crossref","unstructured":"M. Fisher, \u201cA survey of concurrent METATEM\u2013the language and its applications,\u201d in First International Conference on Temporal Logic (ICTL), Bonn, Germany. (Published in Lecture Notes in Computer Science, vol. 827, Springer-Verlag), 1994.","DOI":"10.1007\/BFb0014005"},{"key":"5273140_CR18","doi-asserted-by":"crossref","unstructured":"M. Fisher, \u201cRepresenting and executing agent-based systems,\u201d in M. Wooldridge and N. R. Jennings (eds.), Intelligent Agents, 1995.","DOI":"10.1007\/3-540-58855-8_20"},{"issue":"5\/6","key":"5273140_CR19","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1006\/jsco.1996.0069","volume":"22","author":"M. Fisher","year":"1996","unstructured":"M. Fisher, \u201cA temporal semantics for concurrent METATEM,\u201d J. Symb. Comput., vol. 22, no.5\/6, pp. 627\u2013648, 1996a.","journal-title":"J. Symb. Comput."},{"issue":"1","key":"5273140_CR20","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1017\/S0269888900007670","volume":"11","author":"M. Fisher","year":"1996","unstructured":"M. Fisher, \u201cAn introduction to executable temporal logics,\u201d Knowl. Eng. Rev., vol. 11, no.1, pp. 43\u201356, 1996b.","journal-title":"Knowl. Eng. Rev."},{"key":"5273140_CR21","doi-asserted-by":"crossref","unstructured":"M. Fisher, \u201cA normal form for temporal logic and its application in theorem-proving and execution,\u201d J. Logic Comput., vol. 7, no.4, 1997a.","DOI":"10.1093\/logcom\/7.4.429"},{"key":"5273140_CR22","volume-title":"Parallel Processing for Artificial Intelligence","author":"M. Fisher","year":"1997","unstructured":"M. Fisher, \u201cAn open approach to concurrent theorem-proving,\u201d in J. Geller, H. Kitano, and C. Suttner (eds.), Parallel Processing for Artificial Intelligence, Elsevier \/North-Holland, vol. 3, 1997b."},{"key":"5273140_CR23","unstructured":"M. Fisher, \u201cImplementing BDI-like systems by direct execution,\u201d in Proceedings of International Joint Conference on Artificial Intelligence (IJCA1), 1997c."},{"key":"5273140_CR24","doi-asserted-by":"crossref","unstructured":"M. Fisher, \u201cTowards the refinement of executable temporal objects,\u201d in H. Bowman and J. Derrick (eds.), Formal Methods for Open Object-Based Distributed Systems, 1997d.","DOI":"10.1007\/978-0-387-35261-9_30"},{"key":"5273140_CR25","volume-title":"Intelligent Agents V\u2013Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98)","author":"M. Fisher","year":"1996","unstructured":"M. Fisher, \u201cRepresenting abstract agent architectures,\u201d in J. P. Mu\u00a8 ller, M. P. Singh, and A. S. Rao (eds.), Intelligent Agents V\u2013Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence, Springer-Verlag: Heidelberg, 1996."},{"issue":"1","key":"5273140_CR26","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/371282.371311","volume":"2","author":"M. Fisher","year":"2001","unstructured":"M. Fisher, C. Dixon, and M. Peim, \u201cClausal temporal resolution,\u201d ACM Trans. Comput. Logic, vol. 2, no. 1, pp. 12\u201356, 2001.","journal-title":"ACM Trans. Comput. Logic"},{"key":"5273140_CR27","unstructured":"M. Fisher and C. Ghidini, \u201cProgramming resource-bounded deliberative agents,\u201d in Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 1999."},{"key":"5273140_CR28","unstructured":"M. Fisher and C. Ghidini, \u201cAgents playing with dynamic resource bounds,\u201d in ECAI Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent Systems, Berlin, Germany, 2000a."},{"key":"5273140_CR29","unstructured":"M. Fisher and C. Ghidini, \u201cSpecifying and implementing agents with dynamic resource bounds,\u201d in Proceedings of ECAI-2000 Workshop on Cognitive Robotics, 2000b."},{"key":"5273140_CR30","unstructured":"M. Fisher and T. Kakoudakis, \u201cFlexible agent grouping in executable temporal logic,\u201d in Proceedings of Twelfth International Symposium on Languages for Intensional Programming (ISLIP), 1999."},{"key":"5273140_CR31","unstructured":"B. Hirsch, M. Fisher, and C. Ghidini, \u201cOrganising logic-based agents,\u201d in Proceedings of the Second NASA\/IEEE Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS-II), Greenbelt, Maryland, October 2002."},{"key":"5273140_CR32","unstructured":"M. Fisher and A. Kellett, \u201cProgramming dynamic multi-agent systems,\u201d in Proceedings of the UK Intelligent Agents Workshop, Oxford, 1997."},{"key":"5273140_CR33","unstructured":"M. Fisher and R. Owens, \u201cFrom the past to the future: Executing temporal logic programs,\u201d in Proceedings of Logic Programming and Automated Reasoning (LPAR), St. Petersberg, Russia. (Published in Lecture Notes in Computer Science, Springer-Verlag), vol. 624, 1992."},{"issue":"1","key":"5273140_CR34","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1142\/S0218843097000057","volume":"6","author":"M. Fisher","year":"1997","unstructured":"M. Fisher and M. Wooldridge, \u201cOn the formal specification and verification of multi-agent systems,\u201d Int. J. Coop. Inform. Syst., vol. 6, no.1, pp. 37\u201365, 1997.","journal-title":"Int. J. Coop. Inform. Syst."},{"key":"5273140_CR35","doi-asserted-by":"crossref","unstructured":"M. Fisher, M. Wooldridge, and C. Dixon, \u201cA resolution-based proof method for temporal logics of knowledge and belief,\u201d in Proceedings of the International Conference on Formal and Applied Practical Reasoning (FAPR), Bonn, Germany, 1996.","DOI":"10.1007\/3-540-61313-7_72"},{"key":"5273140_CR36","volume-title":"Intelligent Agents III\u2013Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence","author":"S. Franklin","year":"1996","unstructured":"S. Franklin and A. Graesser, \u201cIs it an agent, or just a program? A taxonomy for autonomous agents,\u201d in J. P. Mu\u00a8 ller, M. J. Wooldridge, and N. R. Jennings (eds.), Intelligent Agents III\u2013Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence, Springer-Verlag: Heidelberg, 1996."},{"key":"5273140_CR37","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and M. Y. Vardi, \u201cModel checking vs. theorem proving: A manifesto,\u201d in V. Lifschitz (ed.), AI and Mathematical Theory of Computation\u2013Papers in Honor of John McCarthy, Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50015-3"},{"key":"5273140_CR38","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"D. Harel, D. Kozen, and J. Tiuryn, Dynamic Logic, MIT Press: Cambridge, MA, USA, 2000."},{"key":"5273140_CR39","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/BFb0026761","volume":"1365","author":"K. Hindriks","year":"1998","unstructured":"K. Hindriks, F. de Boer, W. van der Hoek, and J.-J. Meyer, \u2018Formal semantics for an abstract agent programming language,\u201d in Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, Vol. 1365 of Lecture Notes in Artificial Intelligence, 1998 pp. 215\u2013229.","journal-title":"Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages"},{"key":"5273140_CR40","doi-asserted-by":"crossref","unstructured":"K. Hindriks, F. de Boer, W. van der Hoek, and J.-J. Meyer, \u201cAgent programming with declarative goals,\u201d in C. Castelfranchi and Y. Lesperance (eds.), Intelligent Agents VII, Proceedings of the 6th Workshop on Agent Theories, Architectures, and Languages (ATAL), Vol. of Lecture Notes in Artificial Intelligence, 2001, pp. 228\u2013243.","DOI":"10.1007\/3-540-44631-1_16"},{"issue":"5","key":"5273140_CR41","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"G. Holzmann, \u201cThe model checker spin,\u201d IEEE Trans. Software Eng., vol. 23, no.5, pp. 279\u2013295,1997. Special issue on Formal Methods in Software Practice.","journal-title":"IEEE Trans. Software Eng."},{"key":"5273140_CR42","doi-asserted-by":"crossref","unstructured":"U. Hustadt, C. Dixon, R. Schmidt, J.-J. M. M. Fisher, and W. van der Hoek, \u201cVerification within the KARO agent theory,\u201d in Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems, Goddard Space Flight Center, Greenbelt, Maryland, USA. Lecture Notes in Computer Science, Springer-Verlag, 2000a.","DOI":"10.1007\/3-540-45484-5_3"},{"key":"5273140_CR43","doi-asserted-by":"crossref","unstructured":"U. Hustadt, C. Dixon, R. A. Schmidt, and M. Fisher, \u201cNormal forms and proofs in combined modal and temporal logics,\u201d in Proceedings of the Third International Workshop on Frontiers of Combining Systems (FroCoS\u20192000), Vol. 1794 of Lecture Notes in Artificial Intelligence, 2000b.","DOI":"10.1007\/10720084_6"},{"key":"5273140_CR44","doi-asserted-by":"crossref","unstructured":"U. Hustadt, C. Dixon, R. A. Schmidt, M. Fisher, J.-J. Meyer, and W. van der Hoek, \u201cReasoning about agents in the KARO framework,\u201d in C. Bettini and A. Montanari (eds.), Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01), Cividale del Friuli, Italy, pp. 206\u2013213, 2001.","DOI":"10.1109\/TIME.2001.930719"},{"key":"5273140_CR45","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03678-5","volume-title":"Applications of agent technology","author":"N. R. Jennings","year":"1998","unstructured":"N. R. Jennings and M. Wooldridge, \u201cApplications of agent technology,\u201d in Agent Technology: Foundations, Applications, and Markets, Springer-Verlag: Heidelberg, 1998."},{"key":"5273140_CR46","volume-title":"Implementation techniques for concurrent METATEM","author":"A. Kellett","year":"2000","unstructured":"A. Kellett, \u201cImplementation techniques for concurrent METATEM,\u201d Ph.D. thesis, Department of Computing and Mathematics, Manchester Metropolitan University, 2000."},{"key":"5273140_CR47","doi-asserted-by":"crossref","unstructured":"A. Kellett and M. Fisher, \u201cAutomata representations for concurrent METATEM,\u201d in Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning (TIME), 1997a.","DOI":"10.1109\/TIME.1997.600776"},{"key":"5273140_CR48","doi-asserted-by":"crossref","unstructured":"A. Kellett and M. Fisher, \u201cConcurrent METATEM as a coordination language,\u201d in Coordination Languages and Models (LNCS 1282), 1997b.","DOI":"10.1007\/3-540-63383-9_96"},{"key":"5273140_CR49","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/3-540-58043-3_22","volume":"803","author":"Y. Kesten","year":"1994","unstructured":"Y. Kesten, Z. Manna, and A. Pnueli, \u201cTemporal verification of simulation and refinement,\u201d Lect. Notes Comput. Sci., vol. 803, pp. 273\u2013346, 1994.","journal-title":"Lect. Notes Comput. Sci."},{"key":"5273140_CR50","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"H. Levesque, R. Reiter, Y. Lespe\u2019 rance, F. Lin, and R. Scherl, \u201cGOLOG: A logic programming language for dynamic domains,\u201d J. Logic Prog., vol. 31, pp. 59\u201384, 1997.","journal-title":"J. Logic Prog."},{"key":"5273140_CR51","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":"Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag: New York, 1992."},{"key":"5273140_CR52","unstructured":"J. McCarthy and P. J. Hayes, \u201cSome philosophical problems from the standpoint of artificial intelligence,\u201d in B. Meltzer and D. Michie (eds.), Machine Intelligence 4, Edinburgh University Press, 1969."},{"issue":"3","key":"5273140_CR53","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/27632.28054","volume":"18","author":"A. Mili","year":"1986","unstructured":"A. Mili, J. Desharnais, and J. R. Gagne\u2019,\u201cFormal models of stepwise refinements of programs,\u201dACM Comput. Surv., vol.18, no.3, pp.231\u2013276, 1986.","journal-title":"ACM Comput. Surv."},{"issue":"1\u20132","key":"5273140_CR54","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"N. Muscettola","year":"1998","unstructured":"N. Muscettola, P. P. Nayak, B. Pell, and B. Williams, \u201cRemote agent: To boldly go where no AI system has gone before,\u201d Artif. Intel., vol. 103, nos. 1\u20132, pp. 5\u201348, 1998.","journal-title":"Artif. Intel."},{"issue":"1","key":"5273140_CR55","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1093\/jigpal\/1.1.69","volume":"1","author":"H. J. Ohlbach","year":"1993","unstructured":"H. J. Ohlbach, \u201cTranslation methods for non-classical logics\u2013an overview,\u201d J. IGPL, vol. 1, no.1, pp. 69\u201390, 1993.","journal-title":"J. IGPL"},{"key":"5273140_CR56","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"A. Pnueli, \u201cThe temporal semantics of concurrent programs,\u201d Theor. Comput. Sci., vol. 13, pp. 45\u201360,1981.","journal-title":"Theor. Comput. Sci."},{"key":"5273140_CR57","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner, \u201cOn the synthesis of a reactive module,\u201d in Proceedings of the 16th ACM Symposium on the Principles of Programming Languages, 1989, pp. 179\u2013190.","DOI":"10.1145\/75277.75293"},{"key":"5273140_CR58","doi-asserted-by":"crossref","unstructured":"A. Rao, \u201cAgentSpeak(L): BD1 agents speak out in a logical computable language,\u201d in W. Van de Velde and J. Perram (eds.), Agents Breaking Away\u2013Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW-96 (LNA1 1038), 1996a, pp. 42\u201355.","DOI":"10.1007\/BFb0031845"},{"key":"5273140_CR59","first-page":"33","volume-title":"Decision procedures for prepositional linear-time belief-desire-intention logics","author":"A. S. Rao","year":"1996","unstructured":"A. S. Rao, \u201cDecision procedures for prepositional linear-time belief-desire-intention logics,\u201d in M. Wooldridge, J. P. Mu\u00a8 ller, and M. Tambe (eds.), Intelligent Agents II (LNAI 1037), Springer-Verlag: Heidelberg, Germany, 1996b, pp. 33\u201348."},{"key":"5273140_CR60","unstructured":"A. S. Rao and M. Georgeff, \u201cBDI agents: From theory to practice,\u201d in Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, CA, 1995, pp. 312\u2013319."},{"key":"5273140_CR61","unstructured":"A. S. Rao and M. P. Georgeff, \u201cModeling agents within a BDI-architecture,\u201d in R. Fikes and E. Sandewall (eds.), International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, 1991."},{"key":"5273140_CR62","volume-title":"Agents and Multi-Agent Systems\u2013Formalisms, Methodologies, and Applications","author":"S. Shapiro","year":"1998","unstructured":"S. Shapiro, Y. Lespe\u2019 rance, and H. Levesque, \u201cAgents for expertise location,\u201d in W. Wobeke, M. Pagnucco, and C. Zhang (eds.), Agents and Multi-Agent Systems\u2013Formalisms, Methodologies, and Applications, Springer-Verlag: Heidelberg, Germany, 1998."},{"key":"5273140_CR63","first-page":"17","volume-title":"Intelligent Agents 11 (LNAI 1037)","author":"B. van Linder","year":"1996","unstructured":"B. van Linder, W. van der Hoek, and J. J. C. Meyer, \u201cHow to motivate your agents,\u201d in M. Wooldridge, J. P. Mu\u00a8 ller, and M. Tambe (eds.), Intelligent Agents 11 (LNAI 1037), Springer-Verlag: Heidelberg, Germany, 1996, pp. 17\u201332."},{"key":"5273140_CR64","doi-asserted-by":"crossref","unstructured":"B. van Riemsdijk, W. van der Hoek, and J.-J. Meyer, \u201cAgent programming in dribble: From beliefs to goals with plans,\u201d in J. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo (eds.), Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2002, pp. 393\u2013400.","DOI":"10.1145\/860575.860639"},{"key":"5273140_CR65","doi-asserted-by":"crossref","unstructured":"M. Y. Vardi, \u201cA temporal fixpoint calculus,\u201d in Proceedings of the Fifteenth ACM Symposium on the Principles of Programming Languages, San Diego, California (Extended Abstract), 1988, pp. 250\u2013259.","DOI":"10.1145\/73560.73582"},{"issue":"3","key":"5273140_CR66","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1080\/11663081.1998.10510944","volume":"8","author":"M. Wooldridge","year":"1998","unstructured":"M. Wooldridge, C. Dixon, and M. Fisher, \u201cA tableau-based proof method for temporal logics of knowledge and belief,\u201d J. Appl. Non-Classical Logics, vol. 8, no.3, pp. 225\u2013258, 1998.","journal-title":"J. Appl. Non-Classical Logics"},{"issue":"2","key":"5273140_CR67","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"M. Wooldridge and N. R. Jennings, \u201cIntelligent agents: Theory and practice,\u201d Knowl. Eng. Rev., vol. 10, no.2, pp. 115\u2013152, 1995.","journal-title":"Knowl. Eng. Rev."},{"key":"5273140_CR68","doi-asserted-by":"crossref","unstructured":"M. Wooldridge and A. Rao (eds.), Foundations of Rational Agency, Applied Logic Series, Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-94-015-9204-8"},{"key":"5273140_CR69","unstructured":"M. J. Wooldridge, \u201cThe logical modelling of computational multi-agent systems,\u201d Ph. D. thesis, Department of Computation, UMIST, Manchester, UK, 1992."},{"key":"5273140_CR70","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60805-2","volume-title":"Intelligent Agents III\u2013Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96)","author":"M. J. Wooldridge","year":"1996","unstructured":"M. J. Wooldridge, \u201cA knowledge-theoretic semantics for concurrent MetateM,\u201d in J. P. Mu\u00a8 ller, M. J. Wooldridge, and N. R. Jennings (eds.), Intelligent Agents III\u2013Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence, Springer-Verlag: Heidelberg, 1996."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-004-3140-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-004-3140-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-004-3140-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T10:37:52Z","timestamp":1734691072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-004-3140-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1]]},"references-count":70,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["5273140"],"URL":"https:\/\/doi.org\/10.1007\/s10458-004-3140-4","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"type":"print","value":"1387-2532"},{"type":"electronic","value":"1573-7454"}],"subject":[],"published":{"date-parts":[[2005,1]]}}}