{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T05:23:54Z","timestamp":1740374634727,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221807"},{"type":"electronic","value":"9783540259367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25936-7_4","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T21:04:10Z","timestamp":1281301450000},"page":"72-89","source":"Crossref","is-referenced-by-count":16,"title":["Verifiable Multi-agent Programs"],"prefix":"10.1007","author":[{"given":"Rafael H.","family":"Bordini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willem","family":"Visser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Benerecetti, M., Cimatti, A.: Symbolic model checking for multi-agent systems. In: Proceedings of the Model Checking and Artificial Intelligence Workshop (MoChArt 2002), held with 15th ECAI, Lyon, France, July 21-26, pp. 1\u20138 (2002)"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"1294","DOI":"10.1145\/545056.545122","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)","author":"R.H. Bordini","year":"2002","unstructured":"Bordini, R.H., Bazzan, A.L.C., Jannone, R.O., Basso, D.M., Vicari, R.M., Lesser, V.R.: AgentSpeak(XL): Efficient intention selection in BDI agents via decisiontheoretic task scheduling. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, July 15-19, pp. 1294\u20131302. ACM Press, New York (2002)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1145\/860575.860641","volume-title":"Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2003)","author":"R.H. Bordini","year":"2003","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Rosenschein, J.S., Sandholm, T., Michael, W., Yokoo, M. (eds.) Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2003), Melbourne, Australia, July 14-18, pp. 409\u2013416. ACM Press, New York (2003)"},{"key":"4_CR4","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2002)","author":"R.H. Bordini","year":"2002","unstructured":"Bordini, R.H., Moreira, \u00c1.F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2002), Copenhagen, Denmark, August 1. Electronic Notes in Theoretical Computer Science, vol.\u00a070(5), Elsevier, Amsterdam (2002), http:\/\/www.elsevier.nl\/locate\/entcs\/volume70.html ; CLIMA 2002 was held as part of FLoC 2002. This paper was originally published in Datalogiske Skrifter number 93, Roskilde University, Denmark, pp. 94\u2013108 (2002)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-540-45069-6_10","volume-title":"Computer Aided Verification","author":"R.H. Bordini","year":"2003","unstructured":"Bordini, R.H., Visser, W., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking multi-agent programs with CASP. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 110\u2013113. Springer, Heidelberg (2003) (tool description)"},{"key":"4_CR6","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"key":"4_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-25936-7_6","volume-title":"Programming Multi-Agent Systems","author":"M. Dastani","year":"2004","unstructured":"Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.-J.C.: A programming language for cognitive agents: Goal directed 3apl. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 111\u2013130. Springer, Heidelberg (2004)"},{"key":"4_CR8","unstructured":"de Giacomo, G., Lesperance, Y., Levesque, H.J., Sardi\u00f1a, S.: On deliberation under incomplete information and the inadequacy of entailment and consistencybased formalizations. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, Springer, Heidelberg (2004)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0026757","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 155\u2013176. Springer, Heidelberg (1998)"},{"issue":"3","key":"4_CR10","first-page":"1","volume":"8","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Luck, M.: Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation\u00a08(3), 1\u201327 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1145\/544862.544943","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)","author":"M. Fisher","year":"2002","unstructured":"Fisher, M., Ghidini, C.: The ABC of rational agent modelling. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, July 15-19, pp. 849\u2013856. ACM Press, New York (2002)"},{"key":"4_CR12","unstructured":"Fisher, M., Visser, W.: Verification of autonomous spacecraft control \u2013 a logical vision of the future. In: Proceedings of the Workshop on AI Planning and Scheduling For Autonomy in Space Applications, co-located with TIME 2002, Manchester, UK, July 7-9 (2002)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-46017-9_9","volume-title":"Model Checking Software","author":"W. Hoek","year":"2002","unstructured":"Hoek, W., Wooldridge, M.: Model checking knowledge and time. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) SPIN 2002. LNCS, vol.\u00a02318, pp. 95\u2013111. Springer, Heidelberg (2002)"},{"issue":"5","key":"4_CR14","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The Spin model checker. IEEE Transaction on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"4_CR15","unstructured":"Kinny, D.: The distributed multi-agent reasoning system architecture and language specification. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia (1993)"},{"key":"4_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/3-540-45448-9_12","volume-title":"Intelligent Agents VIII","author":"R. Machado","year":"2002","unstructured":"Machado, R., Bordini, R.H.: Running AgentSpeak(L) agents on SIM AGENT. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 158\u2013174. Springer, Heidelberg (2002)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3540608052_77","volume-title":"Intelligent Agents II - Agent Theories, Architectures, and Languages","author":"J. Mayfield","year":"1996","unstructured":"Mayfield, J., Labrou, Y., Finin, T.: Evaluation of KQML as an agent communication language. In: Tambe, M., M\u00fcller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol.\u00a01037, pp. 347\u2013360. Springer, Heidelberg (1996)"},{"key":"4_CR18","unstructured":"Moreira, \u00c1.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Meyer, J.-J.C., Wooldridge, M.J. (eds.) Proceedings of the Workshop on Logics for Agent-Based Systems (LABS 2002), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22-25, pp. 45\u201359 (2002)"},{"key":"4_CR19","doi-asserted-by":"publisher","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.C.: Remote agents: To boldly go where no AI system has gone before. Artificial Intelligence\u00a0103, 5\u201347 (1998)","journal-title":"Artificial Intelligence"},{"key":"4_CR20","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, Aarhus (1981)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"4_CR22","unstructured":"Rao, A.S., Georgeff, M.P.: A model-theoretic approach to the verification of situated reasoning systems. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI 1993), Chamb\u00e9ry, France, pp. 318\u2013324 (1993)"},{"issue":"3","key":"4_CR23","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation\u00a08(3), 293\u2013343 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-25936-7_7","volume-title":"Programming Multi-Agent Systems","author":"P. Scerri","year":"2004","unstructured":"Scerri, P., Pynadath, D.V., Schurr, N., Farinelli, A., Gandhe, S., Tambe, M.: Team oriented programming and proxy agents: the next generation. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 131\u2013148. Springer, Heidelberg (2004)"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060, 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"4_CR26","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/295685.295704","volume":"43","author":"A. Sloman","year":"1999","unstructured":"Sloman, A., Logan, B.: Building cognitively rich agents using the SIM AGENT toolkit. Communications of the Association of Computing Machinery\u00a043(2), 71\u201377 (1999)","journal-title":"Communications of the Association of Computing Machinery"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/ASE.2000.873645","volume-title":"Proceedings of the Fifteenth International Conference on Automated Software Engineering (ASE 2000)","author":"W. Visser","year":"2000","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proceedings of the Fifteenth International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, September 11-15, pp. 3\u201312. IEEE Computer Society, Los Alamitos (2000)"},{"key":"4_CR28","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. The MIT Press, Cambridge (2000)"},{"key":"4_CR29","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/544862.544965","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M., Fisher, M., Huget, M.-P., Parsons, S.: Model checking multiagent systems with MABLE. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, July 15-19, pp. 952\u2013959. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25936-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:18:00Z","timestamp":1740352680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25936-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221807","9783540259367"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25936-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}