{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,12]],"date-time":"2023-10-12T13:11:37Z","timestamp":1697116297396},"reference-count":38,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2012,2]]},"abstract":"<jats:p> Real-world dispute resolution should be guided by laws, even if such disputes may be resolved by bodies other than the court of laws. Hence in order to build contract dispute resolution systems we need a tool capable of representing, reasoning and programming with contract laws. In this paper we present such a tool called MoDiSo (MOdular Argumentation for DIspute ReSOlution ) which combines the strengths of state-of-the-art argumentation-based techniques for different aspects of law, to propose: first, a modular architecture for contract dispute resolution systems with an edit-compile-dispute loop facilitating incremental system developments; and second, a methodology to represent and reason with legal doctrines in contract laws in the formal language of assumption-based argumentation. We demonstrate the tool with several legal doctrines for performance relief in common law of contracts. As a by-product, we obtain a dispute resolution system capable of explaining legal outcomes by automatically generating relevant arguments. <\/jats:p>","DOI":"10.1142\/s0218213012500029","type":"journal-article","created":{"date-parts":[[2012,1,5]],"date-time":"2012-01-05T19:57:11Z","timestamp":1325793431000},"page":"1250002","source":"Crossref","is-referenced-by-count":3,"title":["MoDiSo: A TOOL FOR BUILDING CONTRACT DISPUTE RESOLUTION SYSTEMS"],"prefix":"10.1142","volume":"21","author":[{"given":"NGUYEN DUY","family":"HUNG","sequence":"first","affiliation":[{"name":"Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PHAN MINH","family":"THANG","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PHAN MINH","family":"DUNG","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,5]]},"reference":[{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(91)90011-U"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-006-9003-3"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exm060"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi058"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00108-5"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1023\/B:ARTI.0000046007.11806.9a"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1093\/lpr\/mgm007"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.07.002"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.05.003"},{"key":"rf18","volume-title":"Artificial Intelligence and Law","author":"Dung P. M.","year":"2009"},{"key":"rf20","volume-title":"Contracts: Cases and Materials","author":"Farnsworth E. A.","year":"2001"},{"key":"rf21","volume-title":"Online dispute resolution : challenges for contemporary justice","author":"Gabrielle Kaufmann-Kohler T. S.","year":"2004"},{"key":"rf23","first-page":"95","volume":"4","author":"Garc\u00eda A. J.","journal-title":"TPLP"},{"key":"rf24","series-title":"Mit Press Series Of Artificial Intelligence And Legal Reasoning","volume-title":"An Artificial Intelligence Approach to Legal Reasoning","author":"Gardner A. v. d. L.","year":"1987"},{"key":"rf25","unstructured":"T.\u00a0Gordon, Dialectics, dialogue and argumentation. An examination of Douglas Walton's theories of reasoning and argument (King's College, London, 2010)\u00a0pp. 145\u2013156."},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1007\/BF00871972"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.010"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.675"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1007\/BF00118493"},{"key":"rf32","first-page":"287","volume":"10","author":"Lodder A.","journal-title":"Harvard Negotiation Law Review"},{"key":"rf34","volume-title":"Economic Analysis of Law","author":"Posner R. A.","year":"2007"},{"key":"rf35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019536206548"},{"key":"rf36","first-page":"163","volume":"1","author":"Prakken H.","journal-title":"The Knowledge Engineering Review"},{"key":"rf37","doi-asserted-by":"publisher","DOI":"10.1080\/19462160903564592"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.1007\/BF00118496"},{"key":"rf39","volume":"7","author":"Prakken H.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"rf40","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008278309945"},{"key":"rf42","unstructured":"H.\u00a0Prakken and G.\u00a0Sartor, LEGAL EVIDENCE AND PROOF: STATISTICS, STORIES, LOGIC, eds. H.\u00a0Kaptein, H.\u00a0Prakken and B.\u00a0Verheij (Aldershot, 2010)\u00a0pp. 223\u2013253."},{"key":"rf43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00207-6"},{"key":"rf44","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(91)90013-W"},{"key":"rf47","volume-title":"Source book on Obligations and Legal Remedies","author":"Geoffrey Samuel","year":"2000"},{"key":"rf48","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019589831118"},{"key":"rf49","doi-asserted-by":"publisher","DOI":"10.1145\/5689.5920"},{"key":"rf50","volume-title":"Contract Law: Selected Source Materials","author":"Steven J. B.","year":"2007"},{"key":"rf51","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp032"},{"key":"rf52","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.319"},{"key":"rf54","doi-asserted-by":"crossref","first-page":"2","DOI":"10.20965\/jaciii.1998.p0002","volume":"2","author":"Yoshino H.","journal-title":"JACIII"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213012500029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T12:41:57Z","timestamp":1565095317000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213012500029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2]]},"references-count":38,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2012,4,5]]},"published-print":{"date-parts":[[2012,2]]}},"alternative-id":["10.1142\/S0218213012500029"],"URL":"https:\/\/doi.org\/10.1142\/s0218213012500029","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2]]}}}