{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T19:40:21Z","timestamp":1739302821771,"version":"3.37.0"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,8,15]],"date-time":"2009-08-15T00:00:00Z","timestamp":1250294400000},"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":[[2010,11]]},"DOI":"10.1007\/s10458-009-9105-x","type":"journal-article","created":{"date-parts":[[2009,8,14]],"date-time":"2009-08-14T04:19:11Z","timestamp":1250223551000},"page":"368-396","source":"Crossref","is-referenced-by-count":6,"title":["Executable specifications of resource-bounded agents"],"prefix":"10.1007","volume":"21","author":[{"given":"Michael","family":"Fisher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,15]]},"reference":[{"key":"9105_CR1","unstructured":"Albore, A., Alechina, N., Bertoli, P., Ghidini, C., Logan, B., & Serafini L. (2006). Model-checking memory requirements of resource-bounded reasoners. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI). Menlo Park: AAAI Press."},{"key":"9105_CR2","doi-asserted-by":"crossref","unstructured":"Alechina N., Jago, M., Bertoli, P., Logan, B., Ghidini, C., & Serafini, L. (2006). Verifying space and time requirements for resource-bounded agents. In Proceedings of 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS) (pp. 217\u2013219). ACM.","DOI":"10.1145\/1160633.1160667"},{"issue":"5","key":"9105_CR3","doi-asserted-by":"crossref","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. (1995) MetateM: An introduction. Formal Aspects of Computing 7(5): 533\u2013549","journal-title":"Formal Aspects of Computing"},{"volume-title":"The imperative future: Principles of executable temporal logics","year":"1996","key":"9105_CR4","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds) (1996) The imperative future: Principles of executable temporal logics. Research Studies Press, Chichester"},{"key":"9105_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P. Blackburn","year":"1997","unstructured":"Blackburn P., de Rijke M. (1997) Why combine logics?. Studia Logica 59: 5\u201327","journal-title":"Studia Logica"},{"issue":"2","key":"9105_CR6","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"F. S. Boer de","year":"2007","unstructured":"de Boer F. S., Hindriks K. V., van der Hoek W., Meyer J. J. C. (2007) A verification framework for agent programming with declarative goals. Journal of Applied Logic 5(2): 277\u2013302","journal-title":"Journal of Applied Logic"},{"volume-title":"Multi-agent programming: Languages, platforms and applications","year":"2005","key":"9105_CR7","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds) (2005) Multi-agent programming: Languages, platforms and applications. Springer, Berlin"},{"key":"9105_CR8","doi-asserted-by":"crossref","unstructured":"Bordini, R. H., H\u00fcbner, J. F., & Vieira, R. Jason and the golden fleece of agent-oriented programming. In Bordini et\u00a0al. [7] (Chap. 1, pp. 3\u201337).","DOI":"10.1007\/0-387-26350-0_1"},{"key":"9105_CR9","volume-title":"Programming multi-agent systems in AgentSpeak using Jason","author":"R. H. Bordini","year":"2007","unstructured":"Bordini R. H., H\u00fcbner J. F., Wooldridge M. (2007) Programming multi-agent systems in AgentSpeak using Jason. Wiley, London"},{"key":"9105_CR10","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1142\/S0218213007003357","volume":"16","author":"T. Bosse","year":"2007","unstructured":"Bosse T., Jonker C., van der Meij L., Treur J. (2007) A language and environment for analysis of dynamics by simulation. International Journal of Artificial Intelligence Tools 16: 435\u2013464","journal-title":"International Journal of Artificial Intelligence Tools"},{"issue":"4","key":"9105_CR11","doi-asserted-by":"crossref","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. (1988) Plans and resource-bounded practical reasoning. Computational Intelligence 4(4): 349\u2013355","journal-title":"Computational Intelligence"},{"key":"9105_CR12","doi-asserted-by":"crossref","unstructured":"Bussmann, S., & Schild, K. (2000). Self-organizing manufacturing control: An industrial application of agent technology. In Proceedings of the Fourth International Conference on Multi-agent Systems (pp. 87\u201394). Boston, MA.","DOI":"10.1109\/ICMAS.2000.858435"},{"key":"9105_CR13","first-page":"199","volume-title":"Applications of software agent technology in the HealthCare domain","author":"M. Calisti","year":"2004","unstructured":"Calisti M., Funk P., Biellman S., Bugnon T. (2004) A multi-agent system for organ transplant management. In: Moreno A., Nealon J. (eds) Applications of software agent technology in the HealthCare domain. Birkh\u00e4user Verla, Boston, pp 199\u2013212"},{"key":"9105_CR14","doi-asserted-by":"crossref","unstructured":"Dastani, M., de Boer, F., Dignum, F., & Meyer, J. (2003). Programming agent deliberation: An approach illustrated using the 3APL language. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMSA) (pp. 97\u2013104).","DOI":"10.1145\/860575.860592"},{"key":"9105_CR15","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, M. B., & Meyer, J. J. C. Programming multi-agent systems in 3APL. In Bordini et\u00a0al. [7], (Chap. 2, pp. 39\u201367).","DOI":"10.1007\/0-387-26350-0_2"},{"key":"9105_CR16","volume-title":"Logic and the simulation of interaction and reasoning","author":"L. A. Dennis","year":"2008","unstructured":"Dennis L. A., Farwer B. (2008) Gwendolen: A BDI language for verifiable agents. In: L\u00f6we B. (eds) Logic and the simulation of interaction and reasoning. AISB, Aberdeen AISB\u201908 Workshop"},{"key":"9105_CR17","first-page":"996","volume-title":"Handbook of theoretical computer science","author":"E. A. Emerson","year":"1990","unstructured":"Emerson E. A. (1990) Temporal and modal logic. In: Leeuwen J. (eds) Handbook of theoretical computer science. Elsevier, Amsterdam, pp 996\u20131072"},{"key":"9105_CR18","volume-title":"Intelligent agents","author":"M. Fisher","year":"1995","unstructured":"Fisher M. (1995) Representing and executing agent-based systems. In: Wooldridge M., Jennings N. R. (eds) Intelligent agents. Springer, Berlin"},{"issue":"4","key":"9105_CR19","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/logcom\/7.4.429","volume":"7","author":"M. Fisher","year":"1997","unstructured":"Fisher M. (1997) A normal form for temporal logic and its application in theorem-proving and execution. Journal of Logic and Computation 7(4): 429\u2013456","journal-title":"Journal of Logic and Computation"},{"key":"9105_CR20","unstructured":"Fisher, M. (1997). Implementing BDI-like systems by direct execution. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI) (pp. 316\u2013321). Morgan-Kaufmann."},{"key":"9105_CR21","doi-asserted-by":"crossref","unstructured":"Fisher, M. (2006). MetateM: The story so far. In Proceedings of the Third International Workshop on Programming Multiagent Systems (ProMAS-03), Lecture Notes in Artificial Intelligence, Vol. 3862. Springer.","DOI":"10.1007\/11678823_1"},{"key":"9105_CR22","unstructured":"Fisher, M. (2008). Agent deliberation in an executable temporal framework. Technical Report ULCS-08-014, Department of Computer Science, University of Liverpool, UK."},{"key":"9105_CR23","unstructured":"Fisher, M., & Ghidini, C. (1999). Programming resource-bounded deliberative agents. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999) (pp. 200\u2013206). Morgan Kaufmann Publications, Inc."},{"key":"9105_CR24","unstructured":"Fisher, M., & Ghidini, C. (2000). Agents playing with dynamic resource bounds. In ECAI workshop on balancing reactivity and social deliberation in multi-agent systems. Germany: Berlin."},{"key":"9105_CR25","unstructured":"Fisher, M., & Ghidini, C. (2000). Specifying and implementing agents with dynamic resource bounds. In Proceedings of ECAI-2000 Workshop on Cognitive Robotics."},{"key":"9105_CR26","doi-asserted-by":"crossref","unstructured":"Fisher, M., & Ghidini, C.: Agents with bounded temporal resources. Lecture Notes in Computer Science 2403, 169\u2013184 (2002)","DOI":"10.1007\/3-540-45634-1_11"},{"issue":"1","key":"9105_CR27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10849-008-9074-5","volume":"18","author":"M. Fisher","year":"2009","unstructured":"Fisher M., Ghidini C. (2009) Exploring the future with resource-bounded agents. Journal of Logic Language and Information 18(1): 3\u201321","journal-title":"Journal of Logic Language and Information"},{"key":"9105_CR28","volume-title":"Many-dimensional modal logics: Theory and applications. No. 148 in studies in logic and the foundations of mathematics","author":"D. Gabbay","year":"2003","unstructured":"Gabbay D., Kurucz A., Wolter F., Zakharyaschev M. (2003) Many-dimensional modal logics: Theory and applications. No. 148 in studies in logic and the foundations of mathematics. Elsevier, Amsterdam"},{"key":"9105_CR29","doi-asserted-by":"crossref","unstructured":"Ghidini, C. (1999). Modelling (un)bounded beliefs. In Proceedings of Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT). Trento, Italy.","DOI":"10.1007\/3-540-48315-2_12"},{"issue":"4","key":"9105_CR30","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini C., Giunchiglia F. (2001) Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(4): 221\u2013259","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"9105_CR31","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. D. Giacomo","year":"2000","unstructured":"Giacomo G. D., Lesp\u00e9rance Y., Levesque H. (2000) Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1\u20132): 109\u2013169","journal-title":"Artificial Intelligence"},{"key":"9105_CR32","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., & Serafini, L. (1994). Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65, 29\u201370 Also IRST-Technical Report 9110-07, IRST, Trento, Italy.","DOI":"10.1016\/0004-3702(94)90037-X"},{"issue":"3","key":"9105_CR33","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1145\/295685.295720","volume":"42","author":"R.J. Glushko","year":"1999","unstructured":"Glushko R.J., Tenenbaum J.M., Meltzer B. (1999) An XML Framework for agent-based E-commerce. Communications of the ACM 42(3): 106\u2013114","journal-title":"Communications of the ACM"},{"key":"9105_CR34","doi-asserted-by":"crossref","unstructured":"Hindriks, K., de Boer, F., van der Hoek, W., & Meyer, J. J. (1998). Formal semantics for an abstract agent programming language. In Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, Lecture Notes in Artificial Intelligence, (Vol. 1365, pp. 215\u2013229). Springer","DOI":"10.1007\/BFb0026761"},{"key":"9105_CR35","doi-asserted-by":"crossref","unstructured":"Hindriks, K., de Boer, F., van der Hoek, W., & Meyer, J. J. (2001). Agent programming with declarative goals. In Intelligent Agents VII\u2014Proceedings of 6th International Workshop on Agent Theories, Architectures, and Languages (ATAL), Lecture Notes in Artificial Intelligence, (Vol. 1986, pp. 228\u2013243). Springer.","DOI":"10.1007\/3-540-44631-1_16"},{"issue":"4","key":"9105_CR36","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/MIC.2002.1020332","volume":"6","author":"M. N. Huhns","year":"2002","unstructured":"Huhns M. N. (2002) Agents as web services. IEEE Internet Computing 6(4): 93\u201395","journal-title":"IEEE Internet Computing"},{"key":"9105_CR37","unstructured":"Klein, G., Suna, A., & Seghrouchni, A. E. F. (2004). Resource sharing and load balancing based on agent mobility. In Proceedings of International Conference on Enterprise Information Systems, (pp. 350\u2013355). ICEIS Press."},{"issue":"4","key":"9105_CR38","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"Kracht M., Wolter F. (1991) Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic 56(4): 1469\u20131485","journal-title":"Journal of Symbolic Logic"},{"key":"9105_CR39","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"Levesque H., Reiter R., Lesp\u00e9rance Y., Lin F., Scherl R. (1997) GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31: 59\u201384","journal-title":"Journal of Logic Programming"},{"issue":"1\u20132","key":"9105_CR40","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/FI-1998-341203","volume":"34","author":"B. Linder van","year":"1998","unstructured":"van Linder B., van der Hoek W., Meyer J. J. C. (1998) Formalising abilities and opportunities of agents. Fundamentae Informaticae 34(1\u20132): 53\u2013101","journal-title":"Fundamentae Informaticae"},{"issue":"1\u20132","key":"9105_CR41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","volume":"113","author":"J. J. Meyer","year":"1999","unstructured":"Meyer J. J., van der Hoek W., van Linder B. (1999) A logical approach to the dynamics of commitments. Artificial Intelligence 113(1\u20132): 1\u201340","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"9105_CR42","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"N. Muscettola","year":"1998","unstructured":"Muscettola N., Nayak P. P., Pell B., Williams B. (1998) Remote agent: To boldly go where no AI system has gone before. Artificial Intelligence 103(1\u20132): 5\u201348","journal-title":"Artificial Intelligence"},{"key":"9105_CR43","volume-title":"Dynamic patient scheduling in hospitals, in coordination and agent technology in value networks","author":"T. Paulussen","year":"2004","unstructured":"Paulussen T., Z\u00f6ller A., Heinzl A., Pokahr A., Braubach L., Lamersdorf W. (2004) Dynamic patient scheduling in hospitals, in coordination and agent technology in value networks. GITO, Berlin"},{"key":"9105_CR44","doi-asserted-by":"crossref","unstructured":"Pnueli, A. (1977). The temporal logic of programs. In Proceedings of the Eighteenth Symposium on the Foundations of Computer Science. Providence, USA.","DOI":"10.1109\/SFCS.1977.32"},{"key":"9105_CR45","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., & Lamersdorf, W. Jadex: A BDI Reasoning Engine. In Bordini et\u00a0al. [7], (pp. 149\u2013174).","DOI":"10.1007\/0-387-26350-0_6"},{"key":"9105_CR46","doi-asserted-by":"crossref","unstructured":"Rao, A. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In Proceedings of 7th European Workshop on Modelling Autonomous Agents in a Multi-agent World (MAAMAW), Lecture Notes in Computer Science, (Vol. 1038, pp. 42\u201355). Springer.","DOI":"10.1007\/BFb0031845"},{"key":"9105_CR47","unstructured":"Rao, A. S., & Georgeff, M. (1995). BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-agent Systems (ICMAS-95), (pp. 312\u2013319). San Francisco, CA."},{"key":"9105_CR48","unstructured":"Rao, A. S., & Georgeff, M. P. (1992). An abstract architecture for rational agents. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR) (pp. 439\u2013449). Morgan Kaufmann."},{"key":"9105_CR49","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, B., van der Hoek, W., & Meyer, J. J. (2003). Agent programming in dribble: From beliefs to goals with plans. In Proceedings of 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS) (pp. 393\u2013400).","DOI":"10.1145\/860575.860639"},{"key":"9105_CR50","unstructured":"Seghrouchni, A. E. F., & Suna, A. (2004). Claim: A computational language for autonomous, intelligent and mobile agents. In M. Dastani, J. Dix, & A. E. F. Seghrouchni (Eds.), Programming multiagent systems, first international workshop (ProMAS\u201903), LNCS (Vol. 3067, pp. 90\u2013110). Berlin: Springer."},{"key":"9105_CR51","doi-asserted-by":"crossref","unstructured":"Winikoff, M. (2007). Implementing commitment-based interactions. In Proceedings of 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS) (pp. 1\u20138). New York, NY, USA: ACM.","DOI":"10.1145\/1329125.1329283"},{"key":"9105_CR52","unstructured":"Winikoff, M., Padgham, L., Harland, J., & Thangarajah, J. (2002). Declarative and procedural goals in intelligent agent systems. In Proceedings of 8th International Conference on Principles of Knowledge Representation and Reasoning (KR)."},{"key":"9105_CR53","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. (2000) Reasoning about rational agents. MIT Press, Cambridge"},{"key":"9105_CR54","volume-title":"An introduction to multiagent systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge M. (2002) An introduction to multiagent systems. Wiley, London"},{"issue":"3","key":"9105_CR55","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1080\/11663081.1998.10510944","volume":"8","author":"M. Wooldridge","year":"1998","unstructured":"Wooldridge M., Dixon C., Fisher M. (1998) A tableau-based proof method for temporal logics of knowledge and belief. Journal of Applied Non-Classical Logics 8(3): 225\u2013258","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-009-9105-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-009-9105-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-009-9105-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T19:03:03Z","timestamp":1739300583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-009-9105-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,15]]},"references-count":55,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,11]]}},"alternative-id":["9105"],"URL":"https:\/\/doi.org\/10.1007\/s10458-009-9105-x","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"type":"print","value":"1387-2532"},{"type":"electronic","value":"1573-7454"}],"subject":[],"published":{"date-parts":[[2009,8,15]]}}}