{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T05:48:32Z","timestamp":1740894512682,"version":"3.38.0"},"reference-count":152,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1007\/s10472-010-9223-9","type":"journal-article","created":{"date-parts":[[2011,1,10]],"date-time":"2011-01-10T10:46:15Z","timestamp":1294656375000},"page":"15-28","source":"Crossref","is-referenced-by-count":5,"title":["Where logic and agents meet"],"prefix":"10.1007","volume":"61","author":[{"given":"J\u00fcrgen","family":"Dix","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,1,11]]},"reference":[{"issue":"4","key":"9223_CR1","first-page":"440","volume":"9","author":"M Alberti","year":"2002","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans. Comput. Log. 9(4) 440\u2013454 (2008)","journal-title":"ACM Trans. Comput. Log."},{"key":"9223_CR2","first-page":"795","volume-title":"Proc. 22nd American National Conference on Artificial Intelligence (AAAI)","author":"N Alechina","year":"2007","unstructured":"Alechina, N., Dastani, M., Logan, B., Meyer, J.: A logic of agent programs. In: Proc. 22nd American National Conference on Artificial Intelligence (AAAI), pp. 795\u2013800. AAAI Press, Menlo Park (2007)"},{"key":"9223_CR3","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-540-45217-1_21","volume-title":"Proc. 7th International Workshop on Cooperative Information Agents (CIA)","author":"J-J Alferes","year":"2003","unstructured":"Alferes, J.-J., Brogi, A., Leite, J.A., Pereira, L.M.: Logic programming for evolving agents. In: Proc. 7th International Workshop on Cooperative Information Agents (CIA). LNCS, vol. 2782, pp. 281\u2013297. Springer, New York (2003)"},{"key":"9223_CR4","series-title":"LNCS","first-page":"74","volume-title":"Proc. REX Workshop on Real-Time: Theory in Practice","author":"R Alur","year":"1991","unstructured":"Alur, R., Henzinger, T.A.: Logics and models of real time: a survey. In: Proc. REX Workshop on Real-Time: Theory in Practice. LNCS, vol. 600, pp. 74\u2013106. Springer, New York (1991)"},{"key":"9223_CR5","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672\u2013713 (2002)","journal-title":"J. ACM"},{"issue":"1\u20133","key":"9223_CR6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1023\/A:1014490210693","volume":"34","author":"L Amgoud","year":"2002","unstructured":"Amgoud, L., Cayrol, C.: A reasoning model based on the production of acceptable arguments. Ann. Math. Artif. Intell. 34(1\u20133), 197\u2013215 (2002)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"13","key":"9223_CR7","first-page":"2629","volume":"15","author":"L Astefanoaei","year":"2009","unstructured":"Astefanoaei, L., Dastani, M., Meyer, J.-J., de Boer, F.S.: On the semantics and verification of normative multi-agent systems. J. Univers. Comput. Sci. 15(13), 2629\u20132652 (2009)","journal-title":"J. Univers. Comput. Sci."},{"key":"9223_CR8","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-540-88071-4_11","volume-title":"Intelligent Agents in the Evolution of Web and Applications. Studies in Computational Intelligence, vol. 167","author":"AP Ayala","year":"2009","unstructured":"Ayala, A.P.: Ontology agents and their applications in the web-based education systems: towards an adaptive and intelligent service. In: Intelligent Agents in the Evolution of Web and Applications. Studies in Computational Intelligence, vol. 167, pp. 249\u2013278. Springer, New York (2009)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"9223_CR9","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"9223_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-642-14309-0_10","volume-title":"25 Years GULP","author":"M Baldoni","year":"2010","unstructured":"Baldoni, M., Baroglio, C., Mascardi, V., Omicini, A., Torroni, P.: Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? In: Dovier, A., Pontelli, E. (eds.) 25 Years GULP. Lecture Notes in Computer Science, vol. 6125, pp. 204\u2013230. Springer, New York (2010)"},{"issue":"2\u20134","key":"9223_CR11","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/B:AMAI.0000031196.24935.b5","volume":"41","author":"M Baldoni","year":"2004","unstructured":"Baldoni, M., Martelli, A., Patti, V., Giordano, L.: Programming rational agents in a modal action logic. Ann. Math. Artif. Intell. 41(2\u20134), 207\u2013257 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"11","key":"9223_CR12","doi-asserted-by":"crossref","first-page":"1489","DOI":"10.1109\/TKDE.2010.179","volume":"22","author":"N Bassiliades","year":"2010","unstructured":"Bassiliades, N., Governatori, G., Paschke, A., Dix, J.: Guest editors\u2019 introduction: rule representation, interchange, and reasoning in distributed, heterogeneous environments. IEEE Trans. Knowl. Data Eng. 22(11), 1489\u20131491 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9223_CR13","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-642-03278-3_14","volume-title":"Proc. 6th International Workshop on Programming Multi-Agent Systems, (ProMAS)","author":"TM Behrens","year":"2009","unstructured":"Behrens, T.M., Dastani, M., Dix, J., Nov\u00e1k, P.: Agent contest competition, 4th edn. In: Proc. 6th International Workshop on Programming Multi-Agent Systems, (ProMAS). LNCS, vol. 5442, pp. 211\u2013222. Springer, New York (2009)","edition":"4"},{"issue":"2\u20134","key":"9223_CR14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s10472-008-9092-7","volume":"51","author":"TM Behrens","year":"2007","unstructured":"Behrens, T.M., Dix, J.: Model checking multi-agent systems with logic based petri nets. Ann. Math. Artif. Intell. 51(2\u20134), 81\u2013121 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"9223_CR15","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. J. Log. Comput. 8(3), 401\u2013423 (1998)","journal-title":"J. Log. Comput."},{"issue":"3","key":"9223_CR16","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/s10458-008-9067-4","volume":"18","author":"M Birna van Riemsdijk","year":"2009","unstructured":"Birna van Riemsdijk, M., Dastani, M., Meyer, J.-J.: Goals in conflict: semantic foundations of goals in agent programming. Autonomous Agents and Multi-Agent Systems 18(3), 471\u2013500 (2009)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"volume-title":"Handbook of Modal Logic","year":"2006","key":"9223_CR17","unstructured":"Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic. Elsevier, Amsterdam (2006)"},{"issue":"1\u20132","key":"9223_CR18","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1023\/A:1020233522878","volume":"37","author":"PA Bonatti","year":"2003","unstructured":"Bonatti, P.A., Kraus, S., Subrahmanian, V.S.: Secure agents. Ann. Math. Artif. Intell. 37(1\u20132), 169\u2013235 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","year":"2005","key":"9223_CR19","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El\u00a0Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, New York (2005)"},{"volume-title":"Multi-Agent Programming: Languages, Tools and Applications","year":"2009","key":"9223_CR20","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, New York (2009)"},{"key":"9223_CR21","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":"RH 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. IEEE Computer Society Press, Los Alamitos (2008)"},{"issue":"5","key":"9223_CR22","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MIS.2004.47","volume":"19","author":"RH 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."},{"issue":"2","key":"9223_CR23","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Journal of Autonomous Agents and Multi-Agent Systems 12(2), 239\u2013256 (2006)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"issue":"6","key":"9223_CR24","doi-asserted-by":"crossref","first-page":"1385","DOI":"10.1093\/logcom\/exp029","volume":"19","author":"RH Bordini","year":"2009","unstructured":"Bordini, R.H., Fisher, M., Wooldridge, M., Visser, W.: Property-based slicing for agent verification. J. Log. Comput. 19(6), 1385\u20131425 (2009)","journal-title":"J. Log. Comput."},{"key":"9223_CR25","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/0-387-26350-0_1","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications, Chapter 1","author":"RH Bordini","year":"2005","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Vieira, J.F.: 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, Chapter 1, pp. 3\u201337. Springer, New York (2005)"},{"key":"9223_CR26","doi-asserted-by":"crossref","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","author":"RH Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley, New York (2007)"},{"issue":"1\u20133","key":"9223_CR27","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1023\/B:AMAI.0000034527.45635.e5","volume":"42","author":"RH Bordini","year":"2004","unstructured":"Bordini, R.H., Moreira, \u00c1.F.: Proving BDI properties of agent-oriented programming languages. Ann. Math. Artif. Intell. 42(1\u20133), 197\u2013226 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9223_CR28","volume-title":"Intentions, Plans, and Practical Reason","author":"ME Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"key":"9223_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-15675-5_1","volume-title":"JELIA","author":"G Brewka","year":"2010","unstructured":"Brewka, G.: Nonmonotonic tools for argumentation. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA. Lecture Notes in Computer Science, vol. 6341, pp. 1\u20136. Springer, New York (2010)"},{"issue":"46","key":"9223_CR30","first-page":"45","volume":"14","author":"N Bulling","year":"2010","unstructured":"Bulling, N., Dix, J.: Modelling and verifying coalitions using argumentation and ATL. Artif. Intell. 14(46), 45\u201373 (2010)","journal-title":"Artif. Intell."},{"key":"9223_CR31","doi-asserted-by":"crossref","unstructured":"Bulling, N., Dix, J., Ches\u00f1evar, C.: An argumentative approach for modelling coalitions using ATL. In: Proc. of the 5rd International Workshop on Argumentation and Multiagent Systems (ArgMAS). LNCS, vol.\u00a05384, pp.\u00a0190\u2013211. Springer (2009)","DOI":"10.1007\/978-3-642-00207-6_12"},{"key":"9223_CR32","doi-asserted-by":"crossref","unstructured":"Bulling, N., Dix, J., Jamroga, W.: Model checking logics of strategic ability: complexity. In: Dastani, M., Hindriks, K.V., Meyer, J.-J. (eds.) Specification and Verification of Multi-Agent Systems. Springer (2010)","DOI":"10.1007\/978-1-4419-6984-2_5"},{"key":"9223_CR33","series-title":"LNAI","volume-title":"Proc. 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X)","author":"N Bulling","year":"2010","unstructured":"Bulling, N., Farwer, B.: Expressing properties of resource-bounded systems: the logics RBTL and RBTL*. In: Dix, J., Fisher, M., Novak, P. (eds.) Proc. 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X). LNAI, vol. 6214. Springer, Berlin (2010)"},{"key":"9223_CR34","doi-asserted-by":"crossref","unstructured":"Bulling, N., Farwer, B.: On the (un-)decidability of model-checking resource-bounded agents. In: Proc. 19th European Conference on Artificial Intelligence (ECAI). Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 567\u2013572. IOS Press (2010)","DOI":"10.3233\/978-1-60750-606-5-567"},{"key":"9223_CR35","doi-asserted-by":"crossref","first-page":"81","DOI":"10.3233\/FI-2009-0089","volume":"93","author":"N Bulling","year":"2009","unstructured":"Bulling, N., Jamroga, W.: What agents can probably enforce. Fundam. Inform. 93, 81\u201396 (2009)","journal-title":"Fundam. Inform."},{"issue":"1\u20134","key":"9223_CR36","first-page":"51","volume":"53","author":"N Bulling","year":"2009","unstructured":"Bulling, N., Jamroga, W., Dix, J.: Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1\u20134), 51\u2013114 (2009)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1\u20132","key":"9223_CR37","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1023\/A:1020259411066","volume":"37","author":"A Ciampolini","year":"2003","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Cooperation and competition in ALIAS: a logic framework for agents that negotiate. Ann. Math. Artif. Intell. 37(1\u20132), 65\u201391 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9223_CR38","unstructured":"Clancey, W., Sierhuis, M., Kaskiris, C., van Hoof, R.: Advantages of Brahms for specifying and implementing a multiagent human-robotic exploration system. In: Proc. 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp.\u00a07\u201311. AAAI Press (2003)"},{"issue":"3","key":"9223_CR39","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1016\/S1389-0417(02)00053-0","volume":"3","author":"WJ Clancey","year":"2002","unstructured":"Clancey, W.J.: Simulating activities: relating motives, deliberation, and attentive coordination. Cogn. Syst. Res. 3(3), 471\u2013499 (2002)","journal-title":"Cogn. Syst. Res."},{"issue":"2\u20134","key":"9223_CR40","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/B:AMAI.0000031195.87297.d9","volume":"41","author":"KL Clark","year":"2004","unstructured":"Clark, K.L., McCabe, F.G.: Go!\u2014a multi-paradigm programming language for implementing multi-threaded agents. Ann. Math. Artif. Intell. 41(2\u20134), 171\u2013206 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"9223_CR41","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E Clarke","year":"1986","unstructured":"Clarke, E., Emerson, E., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9223_CR42","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"9223_CR43","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proc. Workshop on Logics of Programs. LNCS, vol.\u00a0131, pp.\u00a052\u201371 (1981)","DOI":"10.1007\/BFb0025774"},{"issue":"4","key":"9223_CR44","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1017\/S0269888909990270","volume":"24","author":"O Cliffe","year":"2009","unstructured":"Cliffe, O.: Specifying and analyzing institutions in multi-agent systems using answer set programming. Knowl. Eng. Rev. 24(4), 411 (2009)","journal-title":"Knowl. Eng. Rev."},{"key":"9223_CR45","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"PR 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":"9223_CR46","doi-asserted-by":"crossref","unstructured":"Cohen, P.R., Levesque, H.J.: Rational interaction as the basis for communication. In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in Communication, pp.\u00a0221\u2013256. MIT Press (1990)","DOI":"10.7551\/mitpress\/3839.003.0014"},{"key":"9223_CR47","doi-asserted-by":"crossref","unstructured":"Cohn, A.G., Renz, J.: Qualitative spatial representation and reasoning. In: van Harmelen, F., Porter, B., Lifschitz, V. (eds.) Handbook of Knowledge Representation, chapter\u00a013, pp.\u00a0551\u2013596. Elsevier Press (2007)","DOI":"10.1016\/S1574-6526(07)03013-1"},{"key":"9223_CR48","doi-asserted-by":"crossref","unstructured":"Costantini, S.: Integrating answer set modules into agent programs. In: Proc. 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). LNCS, vol.\u00a05753, pp.\u00a0613\u2013615. Springer (2009)","DOI":"10.1007\/978-3-642-04238-6_67"},{"key":"9223_CR49","doi-asserted-by":"crossref","unstructured":"Dastani, M., Dignum, F., Meyer, J.-J.C.: Autonomy and agent deliberation. In: Agents and Computational Autonomy\u2014Potential, Risks, and Solutions. LNCS, vol.\u00a02969, pp.\u00a0114\u2013127. Springer (2004)","DOI":"10.1007\/978-3-540-25928-2_10"},{"key":"9223_CR50","doi-asserted-by":"crossref","unstructured":"Dastani, M., Dix, J., Nov\u00e1k, P.: The first contest on multi-agent systems based on computational logic. In: Proc. 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol.\u00a03900, pp.\u00a0373\u2013384. Springer (2006)","DOI":"10.1007\/11750734_21"},{"key":"9223_CR51","doi-asserted-by":"crossref","unstructured":"Dastani, M., Dix, J., Nov\u00e1k, P.: The second contest on multi-agent systems based on computational logic. In: Proc. 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol.\u00a04371, pp.\u00a0266\u2013283 (2006)","DOI":"10.1007\/978-3-540-69619-3_15"},{"key":"9223_CR52","doi-asserted-by":"crossref","unstructured":"Dastani, M., Dix, J., Nov\u00e1k, P.: Agent contest competition: 3rd edition. In: Proc. 5th International Workshop on Programming Multi-Agent Systems (ProMAS). LNCS, vol.\u00a04908, pp.\u00a0221\u2013240. Springer (2008)","DOI":"10.1007\/978-3-540-79043-3_14"},{"key":"9223_CR53","doi-asserted-by":"crossref","unstructured":"Dastani, M., Hindriks, K.V., Meyer, J.-J. (eds.): Specification and Verification of Multi-Agent Systems. Springer (2010)","DOI":"10.1007\/978-1-4419-6984-2"},{"key":"9223_CR54","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/0-387-26350-0_2","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications, chapter\u00a02","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\u00a0Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, chapter\u00a02, pp.\u00a039\u201367. Springer, New York (2005)"},{"issue":"2","key":"9223_CR55","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"FS Boer de","year":"2007","unstructured":"de Boer, F.S., Hindriks, K.V., van\u00a0der Hoek, W., Meyer, J.-J.C.: A verification framework for agent programming with declarative goals. J. Appl. Logic 5(2), 277\u2013302 (2007)","journal-title":"J. Appl. Logic"},{"key":"9223_CR56","doi-asserted-by":"crossref","unstructured":"Dix, J.: A computational logic approach to heterogenous agent systems. In: Proc. 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). LNCS, vol.\u00a02173, pp.\u00a01\u201320. Springer (2001)","DOI":"10.1007\/3-540-45402-0_1"},{"issue":"2\u20134","key":"9223_CR57","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/B:AMAI.0000031230.18901.7b","volume":"41","author":"J Dix","year":"2004","unstructured":"Dix, J., Fisher, M., Levesque, H.J., Sterling, L.: Introduction: special issue on logic-based agent implementation. Ann. Math. Artif. Intell. 41(2\u20134), 131\u2013133 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"volume-title":"Proc. 10th InternationalWorkshop on Computational Logic in Multi-Agent Systems (CLIMA X). LNAI, vol. 6214","year":"2010","key":"9223_CR58","unstructured":"Dix, J., Fisher, M., Novak, P. (eds.): Proc. 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X). LNAI, vol.\u00a06214. Springer, Berlin (2010)"},{"key":"9223_CR59","doi-asserted-by":"crossref","unstructured":"Dix, J., Kraus, S., Subrahmanian, V.S.: Agents dealing with time and uncertainty. In: AAMAS, pp.\u00a0912\u2013919. ACM (2002)","DOI":"10.1145\/544862.544953"},{"issue":"1","key":"9223_CR60","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/1119439.1119444","volume":"7","author":"J Dix","year":"2006","unstructured":"Dix, J., Kraus, S., Subrahmanian, V.S.: Heterogeneous temporal probabilistic agents. ACM Trans. Comput. Log. 7(1), 151\u2013198 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"9223_CR61","doi-asserted-by":"crossref","unstructured":"Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.): Proc. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol.\u00a06245. Springer (2010)","DOI":"10.1007\/978-3-642-14977-1"},{"issue":"1\u20133","key":"9223_CR62","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/B:AMAI.0000034534.36300.73","volume":"42","author":"J Dix","year":"2004","unstructured":"Dix, J., Leite, J.A., Satoh, K.: Introduction. Ann. Math. Artif. Intell. 42(1\u20133), 1\u20133 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"9223_CR63","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1023\/A:1021560510377","volume":"37","author":"J Dix","year":"2003","unstructured":"Dix, J., Mu\u00f1oz-Avila, H., Nau, D.S., Zhang, L.: IMPACTing SHOP: putting an AI planner into a multi-agent environment. Ann. Math. Artif. Intell. 37(4), 381\u2013407 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"9223_CR64","first-page":"27","volume":"23","author":"J Dix","year":"2009","unstructured":"Dix, J., Parsons, S., Prakken, H., Simari, G.R.: Research challenges for argumentation. Comput. Sci.\u2014R&D 23(1), 27\u201334 (2009)","journal-title":"Comput. Sci.\u2014R&D"},{"issue":"1\u20132","key":"9223_CR65","first-page":"1","volume":"37","author":"J Dix","year":"2003","unstructured":"Dix, J., Sadri, F., Satoh, K.: Introduction. Ann. Math. Artif. Intell. 37(1\u20132), 1\u20133 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9223_CR66","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/0-387-26350-0_3","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications, chapter\u00a03","author":"J Dix","year":"2005","unstructured":"Dix, J., Zhang, Y.: IMPACT: a multi-agent framework with declarative semantics. In: Bordini, R.H., Dastani, M., Dix, J., El\u00a0Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, chapter\u00a03, pp.\u00a069\u201394. Springer, New York (2005)"},{"issue":"4","key":"9223_CR67","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s10472-008-9100-y","volume":"54","author":"AF Dragoni","year":"2008","unstructured":"Dragoni, A.F.: Mental states as multi-context systems. Ann. Math. Artif. Intell. 54(4), 265\u2013292 (2008)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"9223_CR68","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E Emerson","year":"1986","unstructured":"Emerson, E., Halpern, J.: \u201cSometimes\u201d and \u201cnot never\u201d revisited: on branching versus linear time temporal logic. J. ACM 33(1), 151\u2013178 (1986)","journal-title":"J. ACM"},{"key":"9223_CR69","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp.\u00a0996\u20131072. Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"9223_CR70","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press (1996)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9223_CR71","doi-asserted-by":"crossref","unstructured":"Fisher, M.: Agent deliberation in an executable temporal framework. Journal of Applied Logic (2011, to appear)","DOI":"10.1016\/j.jal.2011.09.004"},{"issue":"3","key":"9223_CR72","first-page":"368","volume":"21","author":"M Fisher","year":"2010","unstructured":"Fisher, M., Ghidini, C.: Executable specifications of resource-bounded agents. JAAMAS 21(3), 368\u2013396 (2010)","journal-title":"JAAMAS"},{"key":"9223_CR73","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, New York (2009)"},{"issue":"2","key":"9223_CR74","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., Spears, D., Wooldridge, M.: Guest Editorial: logic-based agent verification. J. Appl. Logic 5(2), 193\u2013195 (2007)","journal-title":"J. Appl. Logic"},{"issue":"1","key":"9223_CR75","first-page":"37","volume":"6","author":"M Fisher","year":"1997","unstructured":"Fisher, M., Wooldridge, M.: On the formal specification and verification of multi-agent systems. JCIS 6(1), 37\u201365 (1997)","journal-title":"JCIS"},{"key":"9223_CR76","doi-asserted-by":"crossref","unstructured":"Franklin, S., Graesser, A.: Is it an agent, or just a program?: a taxonomy for autonomous agents. In: Intelligent Agents III (Proc. 3rd International Workshop on Agent Theories, Architectures, and Languages). LNCS, vol.\u00a01193, pp.\u00a021\u201335. Springer (1996)","DOI":"10.1007\/BFb0013570"},{"key":"9223_CR77","unstructured":"Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proc. 6th National Conference on Artificial Intelligence (AAAI), pp.\u00a0677\u2013682 (1987)"},{"key":"9223_CR78","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A.: Verifying agents\u2019 conformance with multiparty protocols. In: Proc. 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol.\u00a05405, pp.\u00a017\u201336. Springer (2008)","DOI":"10.1007\/978-3-642-02734-5_3"},{"issue":"2","key":"9223_CR79","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1016\/j.jal.2005.12.011","volume":"5","author":"L Giordano","year":"2007","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and verifying interaction protocols in a temporal action logic. J. Appl. Logic 5(2), 214\u2013234 (2007)","journal-title":"J. Appl. Logic"},{"key":"9223_CR80","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics (or: how we can do without modal logics). Artif. Intell. 65, 29\u201370 (1994)","journal-title":"Artif. Intell."},{"key":"9223_CR81","doi-asserted-by":"crossref","unstructured":"Gordon, T.F.: Constructing legal arguments with rules in the Legal Knowledge Interchange Format (LKIF). In: Computable Models of the Law, Languages, Dialogues, Games, Ontologies. LNCS, vol.\u00a04884, pp.\u00a0162\u2013184. Springer (2008)","DOI":"10.1007\/978-3-540-85569-9_11"},{"issue":"2\u20134","key":"9223_CR82","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1023\/B:AMAI.0000031198.84824.45","volume":"41","author":"P Gouveia","year":"2004","unstructured":"Gouveia, P., Ramos, J.: Multi-agent systems specification and certification: a situation and state calculus approach. Ann. Math. Artif. Intell. 41(2\u20134), 301\u2013338 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"9223_CR83","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10506-007-9056-y","volume":"16","author":"G Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: A computational framework for institutional agency. Artif. Intell. Law 16(1), 25\u201352 (2008)","journal-title":"Artif. Intell. Law"},{"key":"9223_CR84","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: How do agents comply with norms? In: Web Intelligence\/IAT Workshops, pp.\u00a0488\u2013491. IEEE (2009)","DOI":"10.1109\/WI-IAT.2009.332"},{"key":"9223_CR85","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Form. Asp. Comput. 6, 102\u2013111 (1994)","journal-title":"Form. Asp. Comput."},{"key":"9223_CR86","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"issue":"1\u20133","key":"9223_CR87","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/B:AMAI.0000034526.31830.45","volume":"42","author":"J Harland","year":"2004","unstructured":"Harland, J., Winikoff, M.: Agents via mixed-mode computation in linear logic. Ann. Math. Artif. Intell. 42(1\u20133), 167\u2013196 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"9223_CR88","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1145\/857166.857168","volume":"3","author":"M He","year":"2003","unstructured":"He, M., Jennings, N.R.: Southampton TAC: an adaptive autonomous trading agent. ACM Trans. Int. Techn. 3(3), 218\u2013235 (2003)","journal-title":"ACM Trans. Int. Techn."},{"key":"9223_CR89","doi-asserted-by":"crossref","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.: Agent programming with declarative goals. In: Intelligent Agents VII (Proc. 6th Workshop on Agent Theories, Architectures, and Languages\u2014ATAL). LNAI, vol.\u00a01986, pp.\u00a0228\u2013243. Springer (2001)","DOI":"10.1007\/3-540-44631-1_16"},{"key":"9223_CR90","doi-asserted-by":"crossref","unstructured":"Huang, J., Gutierrez, R.L.Z., Garc\u00eda, B.M., Huhns, M.N.: Reconciling agent ontologies for web service applications. In: Proc. 3rd German Conference on Multiagent System Technologies (MATES). LNCS, vol.\u00a03550, pp.\u00a0106\u2013117. Springer (2005)","DOI":"10.1007\/11550648_10"},{"key":"9223_CR91","doi-asserted-by":"crossref","unstructured":"Hustadt, U., Dixon, C., Schmidt, R.A., Fisher, M., Meyer, J.-J., van der Hoek, W.: Verification within the KARO agent theory. In: Agent Technology from a Formal Perspective, NASA Monographs in Systems and Software Engineering. Springer (2006)","DOI":"10.1007\/1-84628-271-3_7"},{"issue":"1\u20133","key":"9223_CR92","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1023\/B:AMAI.0000034529.83643.ce","volume":"42","author":"K Inoue","year":"2004","unstructured":"Inoue, K., Iwanuma, K.: Speculative computation through consequence-finding in multi-agent environments. Ann. Math. Artif. Intell. 42(1\u20133), 255\u2013291 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"9223_CR93","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s00224-007-9080-z","volume":"42","author":"W Jamroga","year":"2008","unstructured":"Jamroga, W., Dix, J.: Model Checking Abilities of Agents: A Closer Look. Theory Comp. Syst. 42(3), 366\u2013410 (2008)","journal-title":"Theory Comp. Syst."},{"key":"9223_CR94","doi-asserted-by":"crossref","unstructured":"Jennings, N.R., Wooldridge, M.: Applications of agent technology. In: Agent Technology: Foundations, Applications, and Markets. Springer (1998)","DOI":"10.1007\/978-3-662-03678-5"},{"key":"9223_CR95","doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S.T.Q., Hindriks, K.V., van Riemsdijk, M.B.: Model checking agent programs by using the program interpreter. In: Proc. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol.\u00a06245, pp.\u00a0219\u2013237. Springer (2010)","DOI":"10.1007\/978-3-642-14977-1_17"},{"key":"9223_CR96","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1613\/jair.2596","volume":"33","author":"AC Kakas","year":"2008","unstructured":"Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational logic foundations of KGP agents. J. Artif. Intell. Res. 33, 285\u2013348 (2008)","journal-title":"J. Artif. Intell. Res."},{"key":"9223_CR97","unstructured":"Konolige, K.: A first-order formalization of knowledge and action for a multi-agent planning system. In: Hayes, J.E., Michie, D., Pao, Y. (eds.) Machine Intelligence, vol.\u00a010, pp.\u00a041\u201372. Ellis Horwood (1982)"},{"issue":"3\u20134","key":"9223_CR98","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1018934223383","volume":"25","author":"RA Kowalski","year":"1999","unstructured":"Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Ann. Math. Artif. Intell. 25(3\u20134), 391\u2013419 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1\u20134","key":"9223_CR99","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1023\/A:1018928310720","volume":"20","author":"S Kraus","year":"1997","unstructured":"Kraus, S.: Beliefs, time and incomplete information in multiple encounter negotiations among autonomous agents. Ann. Math. Artif. Intell. 20(1\u20134), 111\u2013159 (1997)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9223_CR100","first-page":"869","volume-title":"Handbook of Modal Logic","author":"A Kurucz","year":"2006","unstructured":"Kurucz, A.: Combining modal logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic, pp.\u00a0869\u2013924. Elsevier, Amsterdam (2006)"},{"key":"9223_CR101","doi-asserted-by":"crossref","unstructured":"Laroussinie, F., Markey, N., Oreiby, G.: On the expressiveness and complexity of ATL. Logical Methods in Computer Science 4(2) (2008)","DOI":"10.2168\/LMCS-4(2:7)2008"},{"key":"9223_CR102","doi-asserted-by":"crossref","unstructured":"Lesser, V., Ortiz, C.L., Tambe, M. (eds.): Distributed Sensor Networks: A Multiagent Perspective. Kluwer Academic Publishers (2003)","DOI":"10.1007\/978-1-4615-0363-7"},{"issue":"1\u20133","key":"9223_CR103","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.: GOLOG: a logic programming language for dynamic domains. J. Log. Program. 31(1\u20133), 59\u201383 (1997)","journal-title":"J. Log. Program."},{"key":"9223_CR104","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: a model checker for the verification of multi-agent systems. In: Proc. 21st International Conference on Computer Aided Verification (CAV). LNCS, vol.\u00a05643, pp.\u00a0682\u2013688. Springer (2009)","DOI":"10.1007\/978-3-642-02658-4_55"},{"key":"9223_CR105","unstructured":"MCMAS: a Model Checker for Multi-Agents Systems. http:\/\/www-lai.doc.ic.ac.uk\/mcmas"},{"key":"9223_CR106","unstructured":"Monteiro, A.M., Wainer, J.: Preferential multi-agent nonmonotonic logics: preliminary report. In: KR, pp.\u00a0446\u2013452 (1996)"},{"key":"9223_CR107","unstructured":"Moore, R.C.: Logic and representation (CSLI Lecture Notes Number 39). Center for the Study of Logic and Information (CSLI), Stanford University, USA (1995) (Distributed by Chicago University Press)"},{"key":"9223_CR108","unstructured":"Moore, S.A.: KQML & FLBC: contrasting agent communication languages. In: HICSS (1999)"},{"key":"9223_CR109","doi-asserted-by":"crossref","unstructured":"Muldoon, C., O\u2019Hare, G.M.P., Collier, R.W., O\u2019Grady, M.J.: Agent factory micro edition: a framework for ambient applications. In: Proc. 6th International Conference on Computational Science (ICCS); Part III. LNCS, vol.\u00a03993, pp.\u00a0727\u2013734. Springer (2006)","DOI":"10.1007\/11758532_95"},{"issue":"1\u20132","key":"9223_CR110","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":"9223_CR111","unstructured":"Nguyen-Duc, M., Guessoum, Z., Marin, O., Perrot, J.-F., Briot, J.-P., Duong, V.: Towards a reliable air traffic control. In: Proc. 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Industry and Applications Track, pp.\u00a0101\u2013104 (2008)"},{"issue":"2","key":"9223_CR112","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1080\/088395101750065778","volume":"15","author":"G Nitschke","year":"2001","unstructured":"Nitschke, G.: Cooperating air traffic control agents. Appl. Artif. Intell. 15(2), 209\u2013235 (2001)","journal-title":"Appl. Artif. Intell."},{"key":"9223_CR113","unstructured":"Nov\u00e1k, P.: Cognitive agents with non-monotonic reasoning. In: AAMAS (PhD), pp.\u00a01746\u20131747. IFAAMAS (2008)"},{"issue":"1\u20133","key":"9223_CR114","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1023\/B:AMAI.0000034525.49481.4a","volume":"42","author":"J Odelstad","year":"2004","unstructured":"Odelstad, J., Boman, M.: Algebras for agent norm-regulation. Ann. Math. Artif. Intell. 42(1\u20133), 141\u2013166 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9223_CR115","doi-asserted-by":"crossref","unstructured":"Padget, J.A., Artikis, A., Vasconcelos, W.W., Stathis, K., da Silva, V.T., Matson, E.T., Polleres, A. (eds.) Proc. 5th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN). LNCS, vol. 6069. Springer (2010)","DOI":"10.1007\/978-3-642-14962-7"},{"key":"9223_CR116","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. 18th Symposium on the Foundations of Computer Science (FOCS), pp. 46\u201357. IEEE Computer Society (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"9223_CR117","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/0-387-26350-0_6","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications, chapter\u00a06","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\u00a0Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, chapter\u00a06, pp.\u00a0149\u2013174. Springer, New York (2005)"},{"key":"9223_CR118","doi-asserted-by":"crossref","unstructured":"Rahwan, I., Moraitis, P. (eds.): Argumentation in multi-agent systems. In: Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science, vol.\u00a05384. Springer (2009)","DOI":"10.1007\/978-3-642-00207-6"},{"issue":"3\u20134","key":"9223_CR119","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s10472-009-9145-6","volume":"55","author":"I Rahwan","year":"2009","unstructured":"Rahwan, I., Pasquier, P., Sonenberg, L., Dignum, F.: A formal analysis of interest-based negotiation. Ann. Math. Artif. Intell. 55(3\u20134), 253\u2013276 (2009)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"9223_CR120","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. Logic 5(2), 235\u2013251 (2007)","journal-title":"J. Appl. Logic"},{"key":"9223_CR121","doi-asserted-by":"crossref","unstructured":"Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Agents Breaking Away: Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW). LNCS, vol.\u00a01038, pp.\u00a042\u201355. Springer (1996)","DOI":"10.1007\/BFb0031845"},{"issue":"3","key":"9223_CR122","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"AS Rao","year":"1998","unstructured":"Rao, A.S.: Decision procedures for propositional linear-time belief-desire-intention logics. J. Log. Comput. 8(3), 293\u2013342 (1998)","journal-title":"J. Log. Comput."},{"key":"9223_CR123","unstructured":"Rao, A.S., Georgeff, M.: BDI agents: from theory to practice. In: Proc. 1st International Conference on Multi-Agent Systems (ICMAS), pp. 312\u2013319 (1995)"},{"key":"9223_CR124","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling agents within a BDI-architecture. In: Proc. 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp.\u00a0473\u2013484. Morgan Kaufmann (1991)"},{"key":"9223_CR125","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proc. International Conference on Knowledge Representation and Reasoning (KR&R), pp.\u00a0439\u2013449 (1992)"},{"key":"9223_CR126","unstructured":"Rao, A.S., Georgeff, M.P.: A model-theoretic approach to the verification of situated reasoning systems. In: Proc. 13th International Joint Conference on Artificial Intelligence (IJCAI), pp.\u00a0318\u2013324 (1993)"},{"issue":"2","key":"9223_CR127","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/MIS.2009.22","volume":"24","author":"A Rogers","year":"2009","unstructured":"Rogers, A., Corkill, D.D., Jennings, N.R.: Agent technologies for sensor networks. IEEE Intell. Syst. 24(2), 13\u201317 (2009)","journal-title":"IEEE Intell. Syst."},{"key":"9223_CR128","doi-asserted-by":"crossref","unstructured":"Sandewall, E.: Nonmonotonic temporal logics and autonomous agents: each contributes to the rigorous basis for the other. In: Herzog, O., Christaller, T., Sch\u00fctt, D. (eds.) KI, Informatik Aktuell, pp.\u00a0107\u2013124. Springer (1993)","DOI":"10.1007\/978-3-642-78545-0_7"},{"issue":"2\u20134","key":"9223_CR129","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/B:AMAI.0000031197.13122.aa","volume":"41","author":"S Sardi\u00f1a","year":"2004","unstructured":"Sardi\u00f1a, S., Giacomo, G.D., Lesp\u00e9rance, Y., Levesque, H.J.: On the semantics of deliberation in Indigolog\u2014from theory to implementation. Ann. Math. Artif. Intell. 41(2\u20134), 259\u2013299 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9223_CR130","doi-asserted-by":"crossref","unstructured":"Sayda, A., Taylor, J.H.: Toward A practical multi-agent system for integrated control and asset management of petroleum production facilities. In: Proc. IEEE International Symposium on Intelligent Control (2007)","DOI":"10.1109\/ISIC.2006.285615"},{"key":"9223_CR131","doi-asserted-by":"crossref","unstructured":"Schild, K.: On the relationship between BDI logics and standard logics of concurrency. In: Intelligent Agents V (Proc. 5th International Workshop on Agent Theories, Architectures, and Languages\u2014ATAL). LNAI, vol.\u00a01555, pp.\u00a047\u201361. Springer (1999)","DOI":"10.1007\/3-540-49057-4_4"},{"issue":"1\u20133","key":"9223_CR132","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/B:AMAI.0000034521.22009.8d","volume":"42","author":"RA Schmidt","year":"2004","unstructured":"Schmidt, R.A., Tishkovsky, D.: Multi-agent dynamic logics with informational test. Ann. Math. Artif. Intell. 42(1\u20133), 5\u201336 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1\u20133","key":"9223_CR133","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1023\/B:AMAI.0000034523.18162.6b","volume":"42","author":"O Schulte","year":"2004","unstructured":"Schulte, O., Delgrande, J.P.: Representing von Neumann\u2013Morgenstern games in the situation calculus. Ann. Math. Artif. Intell. 42(1\u20133), 73\u2013101 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9223_CR134","doi-asserted-by":"crossref","unstructured":"Searle, J.R.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press (1969)","DOI":"10.1017\/CBO9781139173438"},{"key":"9223_CR135","doi-asserted-by":"crossref","unstructured":"Sherstov, A.A., Stone, P.: Three automated stock-trading agents: a comparative study. In: Proc. 6th Workshop on Agent-Mediated Electronic Commerce (AMEC). LNCS, vol.\u00a03435, pp.\u00a0173\u2013187. Springer (2005)","DOI":"10.1007\/11575726_13"},{"key":"9223_CR136","doi-asserted-by":"crossref","unstructured":"Sichman, J.S., Padget, J.A., Ossowski, S., Noriega, P. (eds.): Proc. 3rd International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN). LNCS, vol.\u00a04870. Springer (2008)","DOI":"10.1007\/978-3-540-79003-7"},{"issue":"1\u20132","key":"9223_CR137","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF02451549","volume":"8","author":"MP Singh","year":"1993","unstructured":"Singh, M.P.: A semantics for speech acts. Ann. Math. Artif. Intell. 8(1\u20132), 47\u201371 (1993)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9223_CR138","doi-asserted-by":"crossref","unstructured":"Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems: Theory and Implementation. MIT Press (2000)","DOI":"10.7551\/mitpress\/3487.001.0001"},{"key":"9223_CR139","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/1160633.1160665","volume-title":"Proc. 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"W Hoek van der","year":"2006","unstructured":"van\u00a0der\u00a0Hoek, W., Lomuscio, A., Wooldridge, M.: On the complexity of practical ATL model checking. In: Proc. 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp.\u00a0201\u2013208. ACM Press, New York (2006)"},{"key":"9223_CR140","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol.\u00a0337. Springer (2007)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"9223_CR141","doi-asserted-by":"crossref","unstructured":"van Linder, B., van\u00a0der Hoek, W., Meyer, J.J.C.: Formalising motivational attitudes of agents. In: Intelligent Agents II (Proc. 2nd Workshop on Agent Theories, Architectures, and Languages\u2014ATAL). LNCS, vol.\u00a01037, pp.\u00a017\u201332. Springer (1996)","DOI":"10.1007\/3540608052_56"},{"key":"9223_CR142","doi-asserted-by":"crossref","unstructured":"Van Nieuwenborgh, D., De Vos, M., Heymans, S., Vermeir, D.: Hierarchical decision making in multi-agent systems using answer set programming. In: Proc. 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol.\u00a04371, pp.\u00a020\u201340. Springer (2007)","DOI":"10.1007\/978-3-540-69619-3_2"},{"issue":"2\u20134","key":"9223_CR143","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1023\/B:AMAI.0000031194.57352.e7","volume":"41","author":"WW Vasconcelos","year":"2004","unstructured":"Vasconcelos, W.W., Robertson, D.S., Sierra, C., Esteva, M., Sabater, J., Wooldridge, M.: Rapid prototyping of large multi-agent systems through logic programming. Ann. Math. Artif. Intell. 41(2\u20134), 135\u2013169 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9223_CR144","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1613\/jair.2221","volume":"29","author":"R Vieira","year":"2007","unstructured":"Vieira, R., Moreira, \u00c1.F., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. J. Artif. Intell. Res. 29, 221\u2013267 (2007)","journal-title":"J. Artif. Intell. Res."},{"key":"9223_CR145","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proc. 15th IEEE International Conference on Automated Software Engineering (ASE), pp.\u00a03\u201312. IEEE Computer Society (2000)","DOI":"10.1109\/ASE.2000.873645"},{"key":"9223_CR146","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/0-387-26350-0_7","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications, chapter\u00a07","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\u00a0Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, chapter\u00a07, pp.\u00a0175\u2013193. Springer, New York (2005)"},{"key":"9223_CR147","doi-asserted-by":"crossref","unstructured":"Wooldridge, M.: Reasoning About Rational Agents. MIT Press (2000)","DOI":"10.7551\/mitpress\/5804.001.0001"},{"issue":"2","key":"9223_CR148","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1142\/S0218213006002631","volume":"15","author":"M Wooldridge","year":"2006","unstructured":"Wooldridge, M., Fisher, M., Huget, M.-P., Parsons, S.: Model checking for multiagent systems: the MABLE language and its applications. Int. J. Artif. Intell. Tools 15(2), 195\u2013225 (2006)","journal-title":"Int. J. Artif. Intell. Tools"},{"issue":"2","key":"9223_CR149","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115\u2013152 (1995)","journal-title":"Knowl. Eng. Rev."},{"key":"9223_CR150","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-015-9204-8"},{"key":"9223_CR151","doi-asserted-by":"crossref","unstructured":"Xiao, L., Lewis, P.H., Dasmahapatra, S.: Secure interaction models for the HealthAgents system. In: Proc. 27th International Conference on Computer Safety, Reliability, and Security (SAFECOMP), LNCS, vol.\u00a05219, pp.\u00a0167\u2013180. Springer (2008)","DOI":"10.1007\/978-3-540-87698-4_16"},{"issue":"1\u20133","key":"9223_CR152","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","volume":"42","author":"P Yolum","year":"2004","unstructured":"Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: an approach for specifying and executing protocols. Ann. Math. Artif. Intell. 42(1\u20133), 227\u2013253 (2004)","journal-title":"Ann. Math. Artif. Intell."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-010-9223-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-010-9223-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-010-9223-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T15:37:19Z","timestamp":1740843439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-010-9223-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":152,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1]]}},"alternative-id":["9223"],"URL":"https:\/\/doi.org\/10.1007\/s10472-010-9223-9","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}