{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:55Z","timestamp":1725562615929},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642149764"},{"type":"electronic","value":"9783642149771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14977-1_18","type":"book-chapter","created":{"date-parts":[[2010,8,11]],"date-time":"2010-08-11T06:23:30Z","timestamp":1281507810000},"page":"238-255","source":"Crossref","is-referenced-by-count":1,"title":["A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arianna","family":"Tocchio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","first-page":"795","volume-title":"Proc. of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007)","author":"N. Alechina","year":"2007","unstructured":"Alechina, N., Dastani, M., Logan, B., Meyer, J.-J.C.: A Logic of Agent Programs. In: Proc. of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007), pp. 795\u2013800. AAAI Press, Menlo Park (2007)"},{"key":"18_CR2","first-page":"20","volume":"19","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.: Logic programming and negation: a survey. J. of Logic Programming\u00a019\/20 (1994)","journal-title":"J. of Logic Programming"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Arisha, K.A., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: a platform for collaborating agents. IEEE Intell. Systems\u00a014(2) (1999)","DOI":"10.1109\/5254.757633"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Martelli, M., Patti, V.: Reasoning about logic-based agent interaction protocols. In: Proc. of the Italian Conf. on Comp. Logic, CILC 2004 (2004)","DOI":"10.1007\/11493402_7"},{"key":"18_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/11533092_12","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, M., Patti, V., Schifanella, C.: Verifying protocol conformance for logic-based communicating agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 196\u2013212. Springer, Heidelberg (2005)"},{"key":"18_CR6","series-title":"Science of Computer Programming","volume-title":"A mathematical definition of full Prolog","author":"E. Boerger","year":"1995","unstructured":"Boerger, E., Rosenzweig, D.: A mathematical definition of full Prolog. Science of Computer Programming, vol.\u00a024. Elsevier, Amsterdam (1995)"},{"key":"18_CR7","volume-title":"Proc. of Second Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems","author":"R.H. Bordini","year":"2003","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Proc. of Second Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems. ACM Press, New York (2003)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Moreira, A.F.: Proving BDI properties of Agent-Oriented Programming Languages. Ann. Math. Artif. Intell.\u00a042(1-3) (2004)","DOI":"10.1023\/B:AMAI.0000034527.45635.e5"},{"key":"18_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11493402_4","volume-title":"Declarative Agent Languages and Technologies II","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Mancarella, P., Stathis, K., Toni, F.: On modelling declaratively multi-agent systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 53\u201368. Springer, Heidelberg (2005)"},{"key":"18_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-31794-4_18","volume-title":"Global Computing","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency: Computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS (LNAI), vol.\u00a03267, pp. 340\u2013367. Springer, Heidelberg (2005)"},{"key":"18_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2002","unstructured":"Costantini, S., Tocchio, A.: A Logic Programming Language for Multi-agent Systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 1. Springer, Heidelberg (2002)"},{"key":"18_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11691792_7","volume-title":"Declarative Agent Languages and Technologies III","author":"S. Costantini","year":"2006","unstructured":"Costantini, S., Tocchio, A.: About declarative semantics of logic-based agent languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 106\u2013123. Springer, Heidelberg (2006)"},{"key":"18_CR13","unstructured":"Costantini, S., Tocchio, A., Verticchio, A.: Communication and Trust in the DALI Logic Programming Agent-Oriented Language. Intelligenza Artificiale, J. of the Italian Association, Year 2 n. 1 (2005)"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0743-1066(88)90007-6","volume":"5","author":"S.K. Debray","year":"1988","unstructured":"Debray, S.K., Mishra, P.: Denotational and Operational Semantics for Prolog. J. of Logic Programming\u00a05, 61\u201391 (1988)","journal-title":"J. of Logic Programming"},{"key":"18_CR15","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\u2019 Inverno","year":"1998","unstructured":"d\u2019 Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: 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)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Agents Breaking Away","author":"M. d\u2019 Inverno","year":"1996","unstructured":"d\u2019 Inverno, M., Luck, M.: Formalising the Contract Net as a Goal-Directed System. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038. Springer, Heidelberg (1996)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"d\u2019 Inverno, M., Luck, M.: Engineering AgentSpeak(L): A Formal Computational Model. J. of Logic and Computation\u00a08(3) (1998)","DOI":"10.1093\/logcom\/8.3.233"},{"key":"18_CR18","volume-title":"Readings in Planning","author":"M.P. Georgeff","year":"1990","unstructured":"Georgeff, M.P., Lansky, A.L.: Reactive Reasoning and Planning. In: Readings in Planning. Morgan-Kaufmann, San Francisco (1990)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Goodwin, R.: A formal specification of agent properties. J. of Logic and Computation\u00a05(6) (1995)","DOI":"10.1093\/logcom\/5.6.763"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BFb0026761","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"K.V. Hindriks","year":"1998","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Formal semantics for an abstract agent programming language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 215\u2013229. Springer, Heidelberg (1998)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems\u00a02(4) (1999)","DOI":"10.1023\/A:1010084620690"},{"key":"18_CR22","unstructured":"Kowalski, R.A.: How to be Artificially Intelligent - the Logical Way, Draft (2010), http:\/\/www-lp.doc.ic.ac.uk\/UserPages\/staff\/rak\/rak.html"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Larson, K., Sandholm, T.: Bargaining with limited computation: Deliberation equilibrium. Artificial Intelligence\u00a0132(2) (2000)","DOI":"10.1016\/S0004-3702(01)00132-1"},{"key":"18_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-45448-9_11","volume-title":"Intelligent Agents VIII","author":"J.A. Leite","year":"2002","unstructured":"Leite, J.A., Alferes, J.J., Pereira, L.M.: $\\mathcal{MINERVA}$ - A dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, p. 141. Springer, Heidelberg (2002)"},{"key":"18_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","edition":"2"},{"key":"18_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BFb0013575","volume-title":"Intelligent Agents III. Agent Theories, Architectures, and Languages","author":"M. Luck","year":"1997","unstructured":"Luck, M., Griffiths, N., d\u2019 Inverno, M.: From agent theory to agent construction: A case study. In: Jennings, N.R., Wooldridge, M.J., M\u00fcller, J.P. (eds.) ECAI-WS 1996 and ATAL 1996. LNCS, vol.\u00a01193, pp. 49\u201364. Springer, Heidelberg (1997)"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Parkes, D.C.: Optimal auction design for agents with hard valuation problems. In: Proc. IJCAI 1999 Workshop on Agent Mediated Electronic Commerce (AmEC 1999), Stockholm (1999)","DOI":"10.1007\/10720026_11"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"McBurney, P., Parsons, S.: Dialogue Games in Multi-Agent Systems. Informal Logic, Special Issue on Applications of Argumentation in Computer Science\u00a022(3) (2002)","DOI":"10.22329\/il.v22i3.2592"},{"key":"18_CR29","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-0-387-98197-0_13","volume-title":"Argumentation in Artificial Intell., ch. 13","author":"P. McBurney","year":"2009","unstructured":"McBurney, P., Parsons, S.: Dialogue games for agent argumentation. In: Argumentation in Artificial Intell., ch. 13, pp. 261\u2013280. Springer, Berlin (2009)"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. J. of Logic, Language and Information, Special Issue on Logic and Games\u00a011(3) (2002)","DOI":"10.1145\/375735.376091"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"McBurney, P., van Eijk, R.M., Parsons, S., Amgoud, L.: A Dialogue Game protocol for agent purchase negotiation. Autonomuos Agents and Multi-Agent Systems\u00a07(3) (2003)","DOI":"10.1023\/A:1024787301515"},{"issue":"3","key":"18_CR32","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1093\/logcom\/13.3.347","volume":"13","author":"S. Parsons","year":"2003","unstructured":"Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. J. of Logic and Computation\u00a013(3), 347\u2013376 (2003)","journal-title":"J. of Logic and Computation"},{"key":"18_CR33","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical report DAIMI FN-19, Aarhus University, Computer Science Department (1981)"},{"key":"18_CR34","series-title":"LNAI","doi-asserted-by":"publisher","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 (LNAI), vol.\u00a01038. Springer, Heidelberg (1996)"},{"key":"18_CR35","first-page":"318","volume-title":"Proc. of the 13th International Joint Conference on Artifical Intelligence","author":"A.S. Rao","year":"1993","unstructured":"Rao, A.S., Georgeff, M.P.: An Abstract Architecture for Rational Agents. In: Proc. of the 13th International Joint Conference on Artifical Intelligence, vol.\u00a01, pp. 318\u2013324. Morgan Kaufmann Publishers Inc., San Francisco (1993)"},{"key":"18_CR36","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-45448-9_30","volume-title":"Intelligent Agents VIII","author":"F. Sadri","year":"2002","unstructured":"Sadri, F., Toni, F., Torroni, P.: Dialogues for negotiation: agent varieties and dialogue sequences. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, p. 405. Springer, Heidelberg (2002)"},{"key":"18_CR37","doi-asserted-by":"crossref","unstructured":"Sandholm, T.: Unenforced e-commerce Transactions IEEE Internet Computing\u00a01(6) (1997)","DOI":"10.1109\/4236.643936"},{"key":"18_CR38","unstructured":"Sandholm, T., Suri, S., Gilpin, A., Levine, D.: CABOB: A fast optimal algorithm for combinatorial auctions. In: Proc. of IJCAI 2001, Seattle, WA (2001)"},{"key":"18_CR39","unstructured":"Tocchio, A.: Multi-agent systems in computational logic, Ph.D. Thesis, Dipartimento di Informatica, Universit\u00e1 degli Studi di L\u2019Aquila (2005)"},{"key":"18_CR40","unstructured":"Viroli, M., Omicini, A.: Multi-Agent Systems as Composition of Observable Systems. In: WOA 2001: Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (2001), http:\/\/lia.deis.unibo.it\/books\/woa2001\/pdf\/22.pdf"},{"key":"18_CR41","first-page":"430","volume-title":"Readings in Agents","author":"M. Wooldridge","year":"1997","unstructured":"Wooldridge, M., Jennings, N.R.: Formalizing the cooperative problem solving process. In: Readings in Agents, pp. 430\u2013440. Morgan Kaufmann Publishers Inc., San Francisco (1997)"},{"key":"18_CR42","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Lomuscio, A.: A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results. Logic Journal of the IGPL\u00a09(2) (2001)","DOI":"10.1093\/jigpal\/9.2.257"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14977-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T12:29:34Z","timestamp":1636028974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14977-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642149764","9783642149771"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14977-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}