{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T02:35:28Z","timestamp":1785465328300,"version":"3.56.0"},"reference-count":78,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T00:00:00Z","timestamp":1306195200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s10515-011-0088-x","type":"journal-article","created":{"date-parts":[[2011,5,23]],"date-time":"2011-05-23T09:19:11Z","timestamp":1306142351000},"page":"5-63","source":"Crossref","is-referenced-by-count":126,"title":["Model checking agent programming languages"],"prefix":"10.1007","volume":"19","author":[{"given":"Louise A.","family":"Dennis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew P.","family":"Webster","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rafael H.","family":"Bordini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,5,24]]},"reference":[{"issue":"2","key":"88_CR1","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\u00a0der Hoek, W., Meyer, J.J.C.: A\u00a0verification framework for agent programming with declarative goals. J. Appl. Log. 5(2), 277\u2013302 (2007)","journal-title":"J. Appl. Log."},{"key":"88_CR2","volume-title":"Readings in Distributed Artificial Intelligence","year":"1988","unstructured":"Bond, A.H., Gasser, L. (eds.): Readings in Distributed Artificial Intelligence. Kaufmann, Los Altos (1988)"},{"key":"88_CR3","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"First International Workshop on Programming Multiagent Systems: Languages, Frameworks, Techniques and Tools (ProMAS-03)","author":"R.H. Bordini","year":"2003","unstructured":"Bordini, R.H., Visser, W., Fisher, M., Wooldridge, M.: Verifiable multi-agent programs. In: First International Workshop on Programming Multiagent Systems: Languages, Frameworks, Techniques and Tools (ProMAS-03). Lecture Notes in Artificial Intelligence, vol.\u00a03067. Springer, Berlin (2003)"},{"issue":"5","key":"88_CR4","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MIS.2004.47","volume":"19","author":"R.H. Bordini","year":"2004","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intell. Syst. 19(5), 46\u201352 (2004)","journal-title":"IEEE Intell. Syst."},{"key":"88_CR5","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005a)"},{"key":"88_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/0-387-26350-0_1","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Vieira, R.: Jason and the golden fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 3\u201337. Springer, Berlin (2005b). Chap.\u00a01"},{"issue":"2","key":"88_CR7","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. J. Auton. Agents Multi-Agent Syst. 12(2), 239\u2013256 (2006)","journal-title":"J. Auton. Agents Multi-Agent Syst."},{"key":"88_CR8","series-title":"Wiley Series in Agent Technology","doi-asserted-by":"crossref","DOI":"10.1002\/9780470061848","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.: Programming multi-agent systems in AgentSpeak using Jason. Wiley Series in Agent Technology. Wiley, New York (2007)"},{"key":"88_CR9","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/ASE.2008.17","volume-title":"Proc. 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"R.H. Bordini","year":"2008","unstructured":"Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated verification of multi-agent programs. In: Proc. 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 69\u201378 (2008)"},{"key":"88_CR10","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Wooldridge, M., Visser, W.: Property-based slicing for an agent-oriented programming language. J. Logic Comput. (2009)","DOI":"10.1093\/logcom\/exp029"},{"issue":"1\u20132","key":"88_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(97)00029-5","volume":"94","author":"C. Boutilier","year":"1997","unstructured":"Boutilier, C., Shoham, Y., Wellman, M.P.: Economic principles of multi-agent systems. Artif. Intell. 94(1\u20132), 1\u20136 (1997)","journal-title":"Artif. Intell."},{"key":"88_CR12","volume-title":"Intentions, Plans, and Practical Reason","author":"M.E. Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"key":"88_CR13","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.: Plans and resource-bounded practical reasoning. Comput. Intell. 4, 349\u2013355 (1988)","journal-title":"Comput. Intell."},{"issue":"3","key":"88_CR14","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1023\/A:1022923422570","volume":"6","author":"J. Bredin","year":"2003","unstructured":"Bredin, J., Kotz, D., Rus, D., Maheswaran, R.T., Imer, \u00c7., Basar, T.: Computational markets to regulate mobile-agent systems. J. Auton. Agents Multi-Agent Syst. 6(3), 235\u2013263 (2003)","journal-title":"J. Auton. Agents Multi-Agent Syst."},{"issue":"2","key":"88_CR15","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. Comput. 98(2), 142\u2013170 (1992)","journal-title":"Inf. Comput."},{"key":"88_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. International Conference on Computer-Aided Verification (CAV 2002)","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Guinchiglia, E., Guinchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV\u00a02: An OpenSource tool for symbolic model checking. In: Proc. International Conference on Computer-Aided Verification (CAV 2002). Lecture Notes in Computer Science. Springer, Berlin (2002)"},{"key":"88_CR17","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"88_CR18","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42, 213\u2013261 (1990)","journal-title":"Artif. Intell."},{"key":"88_CR19","series-title":"Lecture Notes in Business Information Processing","volume-title":"Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis (AMEC\/TADA)","year":"2009","unstructured":"Collins, J., Faratin, P., Parsons, S., Rodr\u00edguez-Aguilar, J.A., Sadeh, N.M., Shehory, O., Sklar, E. (eds.): Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis (AMEC\/TADA). Lecture Notes in Business Information Processing, vol.\u00a013. Springer, Berlin (2009)"},{"issue":"6","key":"88_CR20","first-page":"71","volume":"11","author":"J.M. Corera","year":"1996","unstructured":"Corera, J.M., Laresgoiti, I., Jennings, N.R.: Using archon. Part 2. Electricity transportation management. IEEE Intell. Syst. 11(6), 71\u201379 (1996)","journal-title":"IEEE Intell. Syst."},{"key":"88_CR21","unstructured":"D\u2019Amorim, M.: Efficient explicit-state model checking for programs with dynamically allocated data. Ph.D. thesis, University of Illinois at Urbana-Champaign, Champaign, IL, USA (2007). Adviser-Marinov, Darko"},{"issue":"3","key":"88_CR22","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1109\/TSMCA.2007.893474","volume":"37","author":"R.K. Dash","year":"2007","unstructured":"Dash, R.K., Vytelingum, P., Rogers, A., David, E., Jennings, N.R.: Market-based task allocation mechanisms for limited-capacity suppliers. IEEE Trans. Syst. Man Cybern., Part A, Syst. Hum. 37(3), 391\u2013405 (2007)","journal-title":"IEEE Trans. Syst. Man Cybern., Part A, Syst. Hum."},{"key":"88_CR23","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/0-387-26350-0_2","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 39\u201367. Springer, Berlin (2005). Chap.\u00a02"},{"key":"88_CR24","volume-title":"Multi-Agent Systems: Semantics and Dynamics of Organizational Models, chap\u00a016. IGI Global","author":"M. Dastani","year":"2009","unstructured":"Dastani, M., Tinnemeier, N.A.M., Meyer, J.J.C.: A programming language for normative multi-agent systems. In: Dignum, V. (ed.) Multi-Agent Systems: Semantics and Dynamics of Organizational Models, chap\u00a016. IGI Global (2009)"},{"issue":"1","key":"88_CR25","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(83)90015-2","volume":"20","author":"R. Davis","year":"1983","unstructured":"Davis, R., Smith, R.G.: Negotiation as a metaphor for distributed problem solving. Artif. Intell. 20(1), 63\u2013109 (1983)","journal-title":"Artif. Intell."},{"key":"88_CR26","volume-title":"Logic and the Simulation of Interaction and Reasoning AISB\u201908 Workshop","author":"L.A. Dennis","year":"2008","unstructured":"Dennis, L.A., Farwer, B.: Gwendolen: a BDI language for verifiable agents. In: L\u00f6we, B. (ed.) Logic and the Simulation of Interaction and Reasoning AISB\u201908 Workshop. AISB, Aberdeen (2008)"},{"key":"88_CR27","series-title":"Lecture Notes in Computer Science","first-page":"40","volume-title":"Proc. 6th International Workshop on Programming in Multi-Agent Systems (ProMAS)","author":"L.A. Dennis","year":"2008","unstructured":"Dennis, L.A., Fisher, M.: Programming verifiable heterogeneous agent systems. In: Proc. 6th International Workshop on Programming in Multi-Agent Systems (ProMAS). Lecture Notes in Computer Science, vol. 5442, pp. 40\u201355. Springer, Berlin (2008)"},{"key":"88_CR28","series-title":"Lecture Notes in Artificial Intelligence","first-page":"124","volume-title":"Proc. 7th International Workshop on Programming Multiagent Systems (ProMAS)","author":"L.A. Dennis","year":"2008","unstructured":"Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A common semantic basis for BDI languages. In: Proc. 7th International Workshop on Programming Multiagent Systems (ProMAS). Lecture Notes in Artificial Intelligence, vol. 4908, pp. 124\u2013139. Springer, Berlin (2008a)"},{"key":"88_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-540-88833-8_8","volume-title":"Proc. 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)","author":"L.A. Dennis","year":"2008","unstructured":"Dennis, L.A., Hepple, A., Fisher, M.: Language constructs for multi-agent programming. In: Proc. 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). Lecture Notes in Artificial Intelligence, vol. 5056, pp. 137\u2013156. Springer, Berlin (2008b)"},{"key":"88_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1416729.1416754","volume-title":"Proc. 8th International Conference on New Technologies in Distributed Systems (NOTERE)","author":"I. Doghri","year":"2008","unstructured":"Doghri, I.: Formal verification of WAHS: an autonomous and wireless P2P auction handling system. In: Proc. 8th International Conference on New Technologies in Distributed Systems (NOTERE), pp. 1\u201310. ACM, New York (2008)"},{"issue":"1","key":"88_CR31","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/69.43404","volume":"1","author":"E.H. Durfee","year":"1989","unstructured":"Durfee, E.H., Lesser, V.R., Corkill, D.D.: Trends in cooperative distributed problem solving. IEEE Trans. Knowl. Data Eng. 1(1), 63\u201383 (1989)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"88_CR32","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":"88_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-0-387-89299-3_1","volume-title":"Multi-Agent Programming: Languages, Tools and Applications","author":"M. Fisher","year":"2009","unstructured":"Fisher, M., Hepple, A.: Executing logical agent specifications. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Tools and Applications, pp.\u00a01\u201327. Springer, Berlin (2009)"},{"issue":"3","key":"88_CR34","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1007\/s10458-009-9105-x","volume":"21","author":"M. Fisher","year":"2010","unstructured":"Fisher, M., Ghidini, C.: Executable specifications of resource-bounded agents. J. Auton. Agents Multi-Agent Syst. 21(3), 368\u2013396 (2010)","journal-title":"J. Auton. Agents Multi-Agent Syst."},{"issue":"2","key":"88_CR35","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/j.jal.2005.12.012","volume":"5","author":"M. Fisher","year":"2007","unstructured":"Fisher, M., Singh, M.P., Spears, D.F., Wooldridge, M.: Logic-based agent verification (Editorial). J. Appl. Log. 5(2), 193\u2013195 (2007)","journal-title":"J. Appl. Log."},{"key":"88_CR36","volume-title":"Proc. 9th ACM Conference on Electronic Commerce (EC)","year":"2008","unstructured":"Fortnow, L., Riedl, J., Sandholm, T. (eds.): Proc. 9th ACM Conference on Electronic Commerce (EC). ACM, New York (2008)"},{"key":"88_CR37","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Many-dimensional modal logics: theory and applications","author":"D. Gabbay","year":"2003","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional modal logics: theory and applications. Studies in Logic and the Foundations of Mathematics, vol.\u00a0148. Elsevier, Amsterdam (2003)"},{"key":"88_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-48165-6_4","volume-title":"Proc. 3rd International Workshop on Intelligent Agents for Telecommunication Applications (IATA)","author":"M.A. Gibney","year":"1999","unstructured":"Gibney, M.A., Jennings, N.R., Vriend, N.J., Griffiths, J.M.: Market-based call routing in telecommunications networks using adaptive pricing and real bidding. In: Proc. 3rd International Workshop on Intelligent Agents for Telecommunication Applications (IATA). Lecture Notes in Computer Science, vol. 1699, pp. 46\u201361. Springer, Berlin (1999)"},{"issue":"4\u20135","key":"88_CR39","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.knosys.2004.10.008","volume":"18","author":"N. Haque","year":"2005","unstructured":"Haque, N., Jennings, N.R., Moreau, L.: Resource allocation in communication networks using market-based agents. Knowl.-Based Syst. 18(4\u20135), 163\u2013170 (2005)","journal-title":"Knowl.-Based Syst."},{"issue":"2","key":"88_CR40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"R.M. Hierons","year":"2009","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., L\u00fcttgen, G., Simons, A.J.H., Vilkomir, S.A., Woodward, M.R., Zedan,\u00a0H.: Using formal specifications to support testing. ACM Comput. Surv. 41(2), 1\u201376 (2009)","journal-title":"ACM Comput. Surv."},{"key":"88_CR41","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/1082473.1082805","volume-title":"Proc. 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"J. Himoff","year":"2005","unstructured":"Himoff, J., Skobelev, P., Wooldridge, M.: MAGENTA Technology: Multi-agent systems for industrial logistics. In: Proc. 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 60\u201366. ACM Press, New York (2005)"},{"key":"88_CR42","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/BFb0026761","volume-title":"Intelligent Agents IV: Proc. 4th International Workshop on Agent Theories, Architectures and Languages","author":"K. Hindriks","year":"1998","unstructured":"Hindriks, K., de Boer, F., van\u00a0der Hoek, W., Meyer, J.J.: Formal semantics for an abstract agent programming language. In: Intelligent Agents IV: Proc. 4th International Workshop on Agent Theories, Architectures and Languages. Lecture Notes in Artificial Intelligence, vol. 1365, pp. 215\u2013229. Springer, Berlin (1998)"},{"key":"88_CR43","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII: Proc. 6th International Workshop on Agent Theories, Architectures, and Languages (ATAL)","author":"K. Hindriks","year":"2001","unstructured":"Hindriks, K., de Boer, F., van\u00a0der Hoek, W., Meyer, J.J.: Agent programming with declarative goals. In: Intelligent Agents VII: Proc. 6th International Workshop on Agent Theories, Architectures, and Languages (ATAL). Lecture Notes in Artificial Intelligence, vol. 1986, pp. 228\u2013243. Springer, Berlin (2001)"},{"key":"88_CR44","volume-title":"Proc. Workshop \u201cFrom Agent Theory to Agent Implementation\u201d (AT2AI)","author":"B. Hirsch","year":"2008","unstructured":"Hirsch, B., Fricke, S., Kroll-Peters, O., Konnerth, T.: Agent programming in practise\u2014experiences with the JIAC IV agent framework. In: Proc. Workshop \u201cFrom Agent Theory to Agent Implementation\u201d (AT2AI) (2008)"},{"key":"88_CR45","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"88_CR46","unstructured":"Jenkins, B.: Hash Functions. Dr. Dobbs Journal, September (1997)"},{"key":"88_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03678-5","volume-title":"Agent Technology: Foundations, Applications, and Markets","author":"N.R. Jennings","year":"1998","unstructured":"Jennings, N.R., Wooldridge, M.: Applications of agent technology. In: Agent Technology: Foundations, Applications, and Markets. Springer, Heidelberg (1998)"},{"key":"88_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-642-14977-1_17","volume-title":"Computational Logic in Multi-Agent Systems","author":"S.S. Jongmans","year":"2010","unstructured":"Jongmans, S.S., Hindriks, K., van Riemsdijk, M.: Model checking agent programs by using the program interpreter. In: Dix, J., Leite, J.a., Governatori, G., Jamroga, W. (eds.) Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science, vol. 6245, pp. 219\u2013237. Springer, Berlin (2010). doi: 10.1007\/978-3-642-14977-1_17"},{"key":"88_CR49","unstructured":"Java PathFinder: (2009). http:\/\/javapathfinder.sourceforge.net"},{"key":"88_CR50","first-page":"638","volume-title":"Proc. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"M. Kacprzak","year":"2004","unstructured":"Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Proc. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 638\u2013645. IEEE Computer Society, Los Alamitos (2004)"},{"key":"88_CR51","doi-asserted-by":"crossref","DOI":"10.1515\/9780691186290","volume-title":"Auctions: Theory and Practice","author":"P. Klemperer","year":"2004","unstructured":"Klemperer, P.: Auctions: Theory and Practice. Princeton University Press, Princeton (2004). See also http:\/\/www.nuff.ox.ac.uk\/users\/klemperer\/VirtualBook\/VBCrevisedv2.asp"},{"key":"88_CR52","series-title":"Whitestein Series in Software Agent Technologies and Autonomic Computing","volume-title":"Applications of Agent Technology in Traffic and Transportation","year":"2005","unstructured":"Kl\u00fcgl, F., Bazzan, A., Ossowski, S. (eds.): Applications of Agent Technology in Traffic and Transportation. Whitestein Series in Software Agent Technologies and Autonomic Computing. Birkh\u00e4user, Basel (2005)"},{"issue":"1","key":"88_CR53","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-0531(03)00004-8","volume":"110","author":"H. Konishi","year":"2003","unstructured":"Konishi, H., Ray, D.: Coalition formation as a dynamic process. J. Econ. Theory 110(1), 1\u201341 (2003)","journal-title":"J. Econ. Theory"},{"key":"88_CR54","volume-title":"Proc. 2nd Pacific Rim International Conference on AI (PRICAI)","author":"M. Ljunberg","year":"1992","unstructured":"Ljunberg, M., Lucas, A.: The OASIS air traffic management system. In: Proc. 2nd Pacific Rim International Conference on AI (PRICAI) (1992)"},{"issue":"3","key":"88_CR55","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/S0933-3657(03)00004-6","volume":"27","author":"A. Moreno","year":"2003","unstructured":"Moreno, A., Garbay, C.: Software agents in health care. Artif. Intell. Med. 27(3), 229\u2013232 (2003)","journal-title":"Artif. Intell. Med."},{"issue":"1\u20132","key":"88_CR56","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.: Remote agent: to boldly go where no AI system has gone before. Artif. Intell. 103(1\u20132), 5\u201348 (1998)","journal-title":"Artif. Intell."},{"key":"88_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/978-3-540-71067-7_5","volume-title":"Proc. 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs)","author":"S. Owre","year":"2008","unstructured":"Owre, S., Shankar, N.: A brief overview of pvs. In: Proc. 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs). Lecture Notes in Computer Science, vol. 5170, pp. 22\u201327. Springer, Berlin (2008)"},{"key":"88_CR58","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/0-387-26350-0_6","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI Reasoning Engine. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 149\u2013174. Springer, Berlin (2005)"},{"issue":"2","key":"88_CR59","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.jal.2005.12.010","volume":"5","author":"F. Raimondi","year":"2007","unstructured":"Raimondi, F., Lomuscio, A.: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Appl. Log. 5(2), 235\u2013251 (2007)","journal-title":"J. Appl. Log."},{"key":"88_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW)","author":"A. Rao","year":"1996","unstructured":"Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW). Lecture Notes in Computer Science, vol. 1038, pp. 42\u201355. Springer, Berlin (1996)"},{"key":"88_CR61","first-page":"439","volume-title":"Proceedings of Knowledge Representation and Reasoning (KR&R-92)","author":"A.S. Rao","year":"1992","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Rich, C., Swartout, W., Nebel,\u00a0B. (eds.) Proceedings of Knowledge Representation and Reasoning (KR&R-92), pp. 439\u2013449 (1992)"},{"key":"88_CR62","first-page":"312","volume-title":"Proc. 1st International Conference on Multi-Agent Systems (ICMAS)","author":"A.S. Rao","year":"1995","unstructured":"Rao, A.S., Georgeff, M.: BDI agents: from theory to practice. In: Proc. 1st International Conference on Multi-Agent Systems (ICMAS), San Francisco, USA, pp. 312\u2013319 (1995)"},{"issue":"1","key":"88_CR63","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.dss.2004.08.014","volume":"39","author":"D.M. Reeves","year":"2005","unstructured":"Reeves, D.M., Wellman, M.P., MacKie-Mason, J.K., Osepayshvili, A.: Exploring bidding strategies for market-based scheduling. Decis. Support Syst. 39(1), 67\u201385 (2005)","journal-title":"Decis. Support Syst."},{"key":"88_CR64","first-page":"1","volume-title":"Proc. 8th AI*IA\/TABOO Joint Workshop \u201cFrom Objects to Agents\u201d\u2014Agents and Industry: Technological Applications of Software Agents (WOA)","author":"G. Rimassa","year":"2007","unstructured":"Rimassa, G., Burmeister, B.: Achieving business process agility in engineering change management with agent technology. In: Proc. 8th AI*IA\/TABOO Joint Workshop \u201cFrom Objects to Agents\u201d\u2014Agents and Industry: Technological Applications of Software Agents (WOA), pp. 1\u20137. Seneca Edizioni, Torino (2007)"},{"issue":"1\u20132","key":"88_CR65","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S0004-3702(97)00030-1","volume":"94","author":"T. Sandholm","year":"1997","unstructured":"Sandholm, T., Lesser, V.R.: Coalitions among computationally bounded agents. Artif. Intell. 94(1\u20132), 99\u2013137 (1997)","journal-title":"Artif. Intell."},{"issue":"1","key":"88_CR66","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51\u201392 (1993)","journal-title":"Artif. Intell."},{"key":"88_CR67","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","volume":"49","author":"A.P. Sistla","year":"1987","unstructured":"Sistla, A.P., Vardi, M., Wolper, P.: The complementation problem for B\u00fcchi automata with applications to temporal logic. Theor. Comput. Sci. 49, 217\u2013237 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"88_CR68","volume-title":"A Framework for Distributed Problem Solving","author":"R.G. Smith","year":"1980","unstructured":"Smith, R.G.: A Framework for Distributed Problem Solving. UMI Research Press, Ann Arbor (1980)"},{"issue":"1","key":"88_CR69","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/TSMC.1981.4308579","volume":"11","author":"R.G. Smith","year":"1980","unstructured":"Smith, R.G., Davis, R.: Frameworks for cooperation in distributed problem solving. IEEE Trans. Syst. Man Cybern. 11(1), 61\u201370 (1980)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"88_CR70","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1145\/860575.860639","volume-title":"Proc. 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"B. Riemsdijk van","year":"2003","unstructured":"van Riemsdijk, B., van\u00a0der Hoek, W., Meyer, J.J.: Agent programming in dribble: from beliefs to goals with plans. In: Proc. 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 393\u2013400. ACM, New York (2003)"},{"issue":"1","key":"88_CR71","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1111\/j.1540-6261.1961.tb02789.x","volume":"16","author":"W. Vickrey","year":"1961","unstructured":"Vickrey, W.: Counterspeculation, auctions, and competitive sealed tenders. Eur. J. Finance 16(1), 8\u201337 (1961)","journal-title":"Eur. J. Finance"},{"issue":"2","key":"88_CR72","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model checking programs. Autom. Softw. Eng. 10(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"key":"88_CR73","first-page":"325","volume-title":"Proc. 3rd International Conference on Multiagent Systems (ICMAS)","author":"W.E. Walsh","year":"1998","unstructured":"Walsh, W.E., Wellman, M.P.: A\u00a0market protocol for decentralized task allocation. In: Proc. 3rd International Conference on Multiagent Systems (ICMAS), pp. 325\u2013332. IEEE Computer Society, Los Alamitos (1998)"},{"key":"88_CR74","unstructured":"Webster, M.P., Dennis, L.A., Fisher, M.: Model-checking auctions, coalitions and trust. Tech. Rep. ULCS-09-004, Department of Computer Science, University of Liverpool (2009). http:\/\/www.csc.liv.ac.uk\/research"},{"key":"88_CR75","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/0-387-26350-0_7","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"M. Winikoff","year":"2005","unstructured":"Winikoff, M.: JACK\u2122 intelligent agents: an industrial strength platform. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 175\u2013193. Springer, Berlin (2005). Chap.\u00a07"},{"key":"88_CR76","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1329125.1329283","volume-title":"Proc. 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"M. Winikoff","year":"2007","unstructured":"Winikoff, M.: Implementing commitment-based interactions. In: Proc. 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1\u20138. ACM, New York (2007)"},{"key":"88_CR77","first-page":"470","volume-title":"Proc. 8th International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"M. Winikoff","year":"2002","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: Proc. 8th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 470\u2013481. Kaufmann, Los Alamitos (2002)"},{"key":"88_CR78","first-page":"9","volume-title":"Proc. 22nd National Conference on Artificial Intelligence (AAAI)","author":"M. Wooldridge","year":"2007","unstructured":"Wooldridge, M., \u00c5gotnes, T., Dunne, P.E., van\u00a0der Hoek, W.: Logic for automated mechanism design\u2014a\u00a0progress report. In: Proc. 22nd National Conference on Artificial Intelligence (AAAI), p.\u00a09. AAAI Press, Menlo Park (2007)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-011-0088-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-011-0088-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-011-0088-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T22:45:07Z","timestamp":1560206707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-011-0088-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,24]]},"references-count":78,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["88"],"URL":"https:\/\/doi.org\/10.1007\/s10515-011-0088-x","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,24]]}}}