{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:39:26Z","timestamp":1725536366456},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027338"},{"type":"electronic","value":"9783642027345"}],"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-02734-5_9","type":"book-chapter","created":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T12:43:31Z","timestamp":1249130611000},"page":"132-153","source":"Crossref","is-referenced-by-count":0,"title":["Contracts Violation: Justification via Argumentation"],"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"}]},{"given":"Panagiota","family":"Tsintza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Rahwan, I., Ramchurn, S.D., Jennings, N.R., Peter McBurney, S.P., Sonenberg, L.: Argumentation-based negotiation. Knowledge Engineering Review (2004)","key":"9_CR1","DOI":"10.1017\/S0269888904000098"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/3-540-52559-9_62","volume-title":"Proceedings of Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop","author":"H. Barringer","year":"1990","unstructured":"Barringer, H., Fisher, M., Gabbay, D.M., Gough, G., Owens, R.: METATEM: A Framework for Programming in Temporal Logic. In: Proceedings of Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, London, UK, pp. 94\u2013129. Springer, Heidelberg (1990)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/11678823_1","volume-title":"Programming Multi-Agent Systems","author":"M. Fisher","year":"2006","unstructured":"Fisher, M.: Metatem: The story so far. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS, vol.\u00a03862, pp. 3\u201322. Springer, Heidelberg (2006)"},{"unstructured":"Rodr\u00edguez-Aguilar, J.: On the Design and Construction of Agent mediated Electronic Institutions. PhD thesis, Institut d\u2019Investigaci\u00f2 en Intel.lig\u00e8ncia Artificial (IIIA) (2001)","key":"9_CR4"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D. Makinson","year":"1986","unstructured":"Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic\u00a015, 403\u2013425 (1986)","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A. Jones","year":"1996","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Logic Journal of IGPL\u00a04(3), 427\u2013443 (1996)","journal-title":"Logic Journal of IGPL"},{"unstructured":"Costantini, S., Acqua, P.D., Pereira, L.M.: Specification and Dynamic Verification of Agent Properties. In: Proceedings of CLIMA-IX, Int. Worksh. on Computational Logic in Multi-Agent Systems","key":"9_CR7"},{"doi-asserted-by":"crossref","unstructured":"V\u00e1zquez-Salceda, J.: The role of Norms and Electronic Institutions in MultiAgent Systems applied to complex domains. The HARMONIA framework. PhD thesis, Artificial Intelligence PhD. Program, Universitat Polit\u00e8cnica de Catalunya (April 2003)","key":"9_CR8","DOI":"10.1007\/978-3-0348-7955-2_3"},{"unstructured":"Costantini, S., Acqua, P.D., Pereira, L.M.: A Multi-layer Framework for Evolving and Learning Agents. In: Cox, M.T., Raja, A. (eds.) Proceedings of Metareasoning, Thinking about thinking workshop at AAAI 2008, Chicago, USA (2008)","key":"9_CR9"},{"key":"9_CR10","first-page":"475","volume-title":"Proc. of the First Int. Joint Conf. on Autonomous Agents and Multi-agent Systems","author":"J. Sabater","year":"2002","unstructured":"Sabater, J., Sierra, C.: Reputation and social network analysis in multi-agent systems. In: Proc. of the First Int. Joint Conf. on Autonomous Agents and Multi-agent Systems, pp. 475\u2013482. ACM Press, New York (2002)"},{"unstructured":"Joseph, S., Sierra, C., Schorlemmer, M., Dellunde, P.: Information-Based Reputation. In: Proc. of First International Conference on Reputation: Theory and Technology (2009)","key":"9_CR11"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10462-004-0041-5","volume":"24","author":"C. Sierra","year":"2005","unstructured":"Sierra, C., Sabater-Mir, J.: Review on computionational trust and reputation models. Artificial Intelligence Review\u00a024(1), 33\u201360 (2005)","journal-title":"Artificial Intelligence Review"},{"doi-asserted-by":"crossref","unstructured":"Neville, B., Pitt, J.: A simulation study of social agents in agent mediated e-commerce. In: Proceedings of the Seventh International Workshop on Trust in Agent Societies (2004)","key":"9_CR13","DOI":"10.1007\/978-3-540-25946-6_24"},{"unstructured":"Huynh, D., Jennings, N.R., Shadbolt, N.R.: Developing an integrated trust and reputation model for open multi-agent systems, pp. 65\u201374 (2004)","key":"9_CR14"},{"doi-asserted-by":"crossref","unstructured":"Gaur, V., Bedi, P.: Evaluating trust in agent mediated e-commerce. The International Journal of Technology, Knowledge and Society (3) 65\u201374","key":"9_CR15","DOI":"10.18848\/1832-3669\/CGP\/v03i03\/55734"},{"doi-asserted-by":"crossref","unstructured":"Huynh, T.D., Jennings, N.R., Shadbolt, N.R.: An integrated trust and reputation model for open multi-agent systems. In: Autonomous Agents and Multi-Agents systems, pp. 119\u2013154 (2006)","key":"9_CR16","DOI":"10.1007\/s10458-005-6825-4"},{"unstructured":"Ramchurn, S.D., Jennings, N.R., Sierra, C.: Persuasive negotiation for autonomous agents: A rhetorical approach. In: IJCAI Workshop on Computational Models of Natural Argument, pp. 9\u201317. IJCAI Press (2003)","key":"9_CR17"},{"unstructured":"Esfandiari, B., Chandrasekharan, C.: On how agents make friends: Mechanisms for trust acquisition. In: Proc. of the Fourth Workshop on Deception, Fraud and Trust in Agent Societies, pp. 27\u201334 (2001)","key":"9_CR18"},{"issue":"6","key":"9_CR19","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1016\/j.ijhcs.2008.02.001","volume":"66","author":"A. Vasalou","year":"2008","unstructured":"Vasalou, A., Hopfensitz, A., Pitt, J.V.: In praise of forgiveness: Ways for repairing trust breakdowns in one-off online interactions. Int. J. Hum.-Comput. Stud.\u00a066(6), 466\u2013480 (2008)","journal-title":"Int. J. Hum.-Comput. Stud."},{"unstructured":"Costantini, S., Tocchio, A.: Learning by knowledge exchange in logical agents. In: From Objects to Agents: Intelligent Systems and Pervasive Computing, Proceedings of WOA 2005 (2005) ISBN 88-371-1590-3","key":"9_CR20"},{"key":"9_CR21","series-title":"LNAI","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":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol.\u00a03229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"unstructured":"Sadri, F., Toni, F.: Computational logic and multiagent systems: a roadmap. Computational Logic, Special Issue on the Future Technological Roadmap of Compulog-Net (1999)","key":"9_CR23"},{"issue":"3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1017\/S0269888999003021","volume":"14","author":"M. Beer","year":"1999","unstructured":"Beer, M., d\u2019Inverno, M., Jennings, N., Luck, M., Preist, C.: Agents that reason and negotiate by arguing. Knowledge Engineering Review\u00a014(3), 285\u2013289 (1999)","journal-title":"Knowledge Engineering Review"},{"key":"9_CR25","volume-title":"Proceedings of 1st International Conference on Computational Models of Argument (COMMA 2006)","author":"P. Dung","year":"2006","unstructured":"Dung, P., Mancarella, P., Toni, F.: A dialectical procedure for sceptical, assumption-based argumentation. In: Proceedings of 1st International Conference on Computational Models of Argument (COMMA 2006). IOS Press, Amsterdam (2006)"},{"unstructured":"Bentahar, J., Moulin, B., Meyer, J.-J.C., Chaib-draa, B.: A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. In: Proceedings of Third International Joint Conference on Autonomous Agents and Multiagent Systems, New York, July 19-23, 2004, pp. 792\u2013799 (2004)","key":"9_CR26"},{"unstructured":"Leue, S.: QoS Specification Based on SDL \/MSC and Temporal Logic. In: van Bochmann, G., de Meer, J., Vogel, A. (eds.) Proceedings of The Montreal Workshop on Multimedia Applications and Quality of Service Verification (1994)","key":"9_CR27"},{"key":"9_CR28","first-page":"639","volume":"13","author":"E.M. Clarke","year":"2007","unstructured":"Clarke, E.M., Lerda, F.: Model Checking: Software and Beyond. Journal of Universal Computer Science\u00a013, 639\u2013649 (2007)","journal-title":"Journal of Universal Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Milosevic, Z., Dromey, R.G.: On expressing and monitoring behaviour in contracts. In: Proceedings of The Sixth International Enterprise Distributed Object Computing Conference, pp. 3\u201314 (2002)","key":"9_CR29","DOI":"10.1109\/EDOC.2002.1137692"},{"unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime Verification for LTL and TLTL. Technical Report TUM-I0724, Institut fur Informatik, Technische Universit\u00e4t M\u00fcnchen (2007)","key":"9_CR30"},{"key":"9_CR31","first-page":"46","volume-title":"Proceedings of EDOC 2005","author":"G. Governatori","year":"2005","unstructured":"Governatori, G., Milosevic, Z.: Dealing with contract violations: formalism and domain specific language. In: Proceedings of EDOC 2005, Washington, DC, USA, pp. 46\u201357. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/WEC.2004.1319510","volume-title":"Proceedings of The 1st IEEE Workshop on Econtracting (WEC 2004)","author":"Z. Milosevic","year":"2004","unstructured":"Milosevic, Z., Gibson, S., Linington, P.F., Cole, J.B., Kulkarni, S.: On design and implementation of a contract monitoring facility. In: Proceedings of The 1st IEEE Workshop on Econtracting (WEC 2004), pp. 62\u201370. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"9_CR33","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/775152.775200","volume-title":"Proceedings of The 12th International Conference on World Wide Web","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Poon, T.C.: Sweetdeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In: Proceedings of The 12th International Conference on World Wide Web, pp. 340\u2013349. ACM Press, New York (2003)"},{"unstructured":"Dung, P.M., Thang, P.M., Toni, F.: Towards argumentation-based contract negotiation. In: Proceedings of COMMA 2008, Computational Models of Argument, vol.\u00a0172, pp. 134\u2013146 (2008)","key":"9_CR34"},{"issue":"2","key":"9_CR35","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.jal.2005.12.009","volume":"5","author":"C.D. Walton","year":"2007","unstructured":"Walton, C.D.: Verifiable agent dialogues. Journal of Applied Logic\u00a05(2), 197\u2013213 (2007); Special Issue on Logic-Based Agent Verification","journal-title":"Journal of Applied Logic"},{"unstructured":"Wooldridge, M., Parsons, S.: Languages for Negotiation. In: Horn, W. (ed.) Proceedings of ECAI 2000, The Fourteenth European Conference on Artificial Intelligence, Berlin, Germany, pp. 393\u2013397 (August 2000)","key":"9_CR36"},{"key":"9_CR37","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"},{"unstructured":"Dung, P.M., Thang, P.M.: Towards an Argument-based Model of Legal Doctrines in Common Law of Contracts. In: Fisher, M., Sadri, F. (eds.) Proceedings of CLIMA-IX, Int. Worksh. on Computational Logic in Multi-Agent Systems, pp. 111\u2013126 (2008)","key":"9_CR38"},{"doi-asserted-by":"crossref","unstructured":"Dung, P.M., Thang, P.M., Hung, N.D.: Argumentation-based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. In: Fisher, M., Sadri, F. (eds.) Proceedings of CLIMA-IX, Int. Worksh. on Computational Logic in Multi-Agent Systems, pp. 91\u2013109 (2008)","key":"9_CR39","DOI":"10.1007\/978-3-642-02734-5_10"},{"key":"9_CR40","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/11.2.257","volume":"11","author":"G. Brewka","year":"2001","unstructured":"Brewka, G.: Dynamic argument systems: a formal model of argumentation processes based on situation calculus. Journal of logic and computation\u00a011, 257\u2013282 (2001)","journal-title":"Journal of logic and computation"},{"key":"9_CR41","first-page":"1","volume-title":"IJCAL 2003: Proceedings of the 9th international conference on Artificial intelligence and law","author":"A. Artikis","year":"2003","unstructured":"Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: IJCAL 2003: Proceedings of the 9th international conference on Artificial intelligence and law, pp. 1\u201311. ACM, New York (2003)"},{"issue":"1","key":"9_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1459010.1459011","volume":"10","author":"A. Artikis","year":"2009","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Trans. Comput. Logic\u00a010(1), 1\u201342 (2009)","journal-title":"ACM Trans. Comput. Logic"},{"unstructured":"CONTRACT EU project: Contract based e-business system engineering for robust, verifiable cross-organizational business applications, 6th Framework Programme, project number FP6-034418","key":"9_CR43"},{"doi-asserted-by":"crossref","unstructured":"Oren, N., Panagiotidi, S., Vazquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a formalisation of electronic contracting environments. In: Proc. of Coordination, Organization, Institutions and Norms in Agent Systems, the International Workshop at AAAI 2008 (2008)","key":"9_CR44","DOI":"10.1007\/978-3-642-00443-8_11"}],"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-02734-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,9]],"date-time":"2021-10-09T08:03:17Z","timestamp":1633766597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02734-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027338","9783642027345"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02734-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}