{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:52:46Z","timestamp":1743054766317,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642033377"},{"type":"electronic","value":"9783642033391"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03339-1_5","type":"book-chapter","created":{"date-parts":[[2009,7,13]],"date-time":"2009-07-13T09:00:33Z","timestamp":1247475633000},"page":"45-59","source":"Crossref","is-referenced-by-count":0,"title":["Addressing Constraint Failures in Agent Interaction Protocol"],"prefix":"10.1007","author":[{"given":"Fadzil","family":"Hassan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Walton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"23","volume":"85","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interaction using social integrity constraints. Theoretical Computer Science\u00a085, 23 (2004)","journal-title":"Theoretical Computer Science"},{"key":"5_CR2","first-page":"39","volume":"2","author":"J. Odell","year":"2003","unstructured":"Odell, J., Parunak, H.V.D., Fleischer, M.: Modeling agents and their environment: the communication environment. Journal of Object Technology\u00a02, 39\u201352 (2003)","journal-title":"Journal of Object Technology"},{"key":"5_CR3","unstructured":"Chen, B., Sadaoui, S.: A generic formal framework for multi-agent interaction protocols, University of Regina, Canada, Technical report TR 2003-05 (2003)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Estava, M., Rodriguez, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the formal specifications of electronic institutions, Lecture Notes in Artificial Intelligence, pp. 126\u2013147 (2001)","DOI":"10.1007\/3-540-44682-6_8"},{"key":"5_CR5","first-page":"118","volume-title":"Issues in Agent Communication","author":"M. Greaves","year":"1990","unstructured":"Greaves, M., Holmback, M., Bradshaw, J.: What is a conversation policy? In: Dignum, F., Greaves, F. (eds.) Issues in Agent Communication, vol.\u00a01990, pp. 118\u2013131. Springer, Heidelberg (1990)"},{"key":"5_CR6","unstructured":"Walton, C.D., Robertson, D.: Flexible multi-agent protocols, University of Edinburgh, Technical report EDI-INF-RR-0164 (2002)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-540-27775-0_29","volume-title":"Logic Programming","author":"D. Robertson","year":"2004","unstructured":"Robertson, D.: Multi-agent coordination as distributed logic programming. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 416\u2013430. Springer, Heidelberg (2004)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Robertson, D.: A lightweight coordination calculus for agent social norms. In: Declarative Agent Languages and Technologies (AAMAS), New York, USA (2004)","DOI":"10.1007\/11493402_11"},{"key":"5_CR9","unstructured":"Hassan, F., Robertson, D.: Constraint relaxation to reduce brittleness of distributed agent protocols. In: Coordination in Emergent Agent Societies Workshop (CEAS 2004), held in conjunction with the 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain (2004)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Modi, P.J., Velose, M.: Bumping strategies for the multiagent agreement problem. In: Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, Netherland (July 2005)","DOI":"10.1145\/1082473.1082533"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fruhwirth","year":"1998","unstructured":"Fruhwirth, T.: Theory and practice of constraint handling rules. The Journal of Logic Programming\u00a037, 95\u2013137 (1998)","journal-title":"The Journal of Logic Programming"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44723-7_1","volume-title":"Agent-Mediated Electronic Commerce III","author":"G.E. Paula de","year":"2001","unstructured":"de Paula, G.E., Ramos, F.S., Ramalho, G.L.: Bilateral negotiation model for agent-mediated electronic commerce. In: Dignum, F.P.M., Cort\u00e9s, U. (eds.) AMEC 2000. LNCS, vol.\u00a02003, p. 1. Springer, Heidelberg (2001)"},{"key":"5_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-44568-4_13","volume-title":"Balancing Reactivity and Social Deliberation in Multi-Agent Systems","author":"G. Weib","year":"2001","unstructured":"Weib, G.: Cognition, sociability, and constraints. In: Hannebauer, M., Wendler, J., Pagello, E. (eds.) ECAI-WS 2000. LNCS (LNAI), vol.\u00a02103, p. 217. Springer, Heidelberg (2001)"},{"key":"5_CR14","first-page":"79","volume":"19","author":"K.P. Sycara","year":"1998","unstructured":"Sycara, K.P.: Multiagent systems. AI Magazine\u00a019, 79\u201392 (1998)","journal-title":"AI Magazine"},{"key":"5_CR15","volume-title":"Negotiation behaviour","author":"D. Pruitt","year":"1981","unstructured":"Pruitt, D.: Negotiation behaviour. Academic Press, New York (1981)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-61479-6_28","volume-title":"Over-Constrained Systems","author":"N. Jussien","year":"1996","unstructured":"Jussien, N., Boizumault, P.: Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems. In: Jampel, M., Maher, M.J., Freuder, E.C. (eds.) CP-WS 1995. LNCS, vol.\u00a01106, pp. 265\u2013280. Springer, Heidelberg (1996)"},{"key":"5_CR17","unstructured":"SICStus Prolog User\u2019s Manual. Stockholm: Swedish Institute of Computer Science (1999), http:\/\/www.sics.se\/sicstus.html"},{"key":"5_CR18","unstructured":"Osman, N.Z.: Addressing constraint failures in distributed dialogue protocols, University of Edinburgh, MSc. Thesis (2003)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/logcom\/8.3.261","volume":"8","author":"S. Parsons","year":"1998","unstructured":"Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation\u00a08, 261\u2013292 (1998)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems for Society"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03339-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T07:56:03Z","timestamp":1558425363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03339-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642033377","9783642033391"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03339-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}