{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T06:36:56Z","timestamp":1778049416602,"version":"3.51.4"},"reference-count":50,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:00:00Z","timestamp":1267401600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Argument &amp; Computation"],"published-print":{"date-parts":[[2010,3,1]]},"abstract":"<jats:p>We present an argument-based formalism of contract dispute resolution following a modern view that the court would resolve a contract dispute by enforcing an interpretation of contract that reasonably represents the mutual intention of contract parties. Legal doctrines provide principles, rules and guidelines for the court to objectively arrive at such an interpretation. In this paper, we establish the appropriateness of the formalism by applying it to resolve disputes about performance relief with the legal doctrines of impossibility and frustration of purpose in common laws of contract. The formalism is based on modular argumentation, a recently proposed extension of assumption-based argumentation for modelling contract dispute resolution.<\/jats:p>","DOI":"10.1080\/19462160903564584","type":"journal-article","created":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T04:16:51Z","timestamp":1270095411000},"page":"47-69","source":"Crossref","is-referenced-by-count":10,"title":["Modular argumentation for modelling legal doctrines of performance relief"],"prefix":"10.1177","volume":"1","author":[{"given":"Phan Minh","family":"Dung","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":"Nguyen Duy","family":"Hung","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":"179","published-online":{"date-parts":[[2010,3,1]]},"reference":[{"issue":"6","key":"ref0001","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1016\/0020-7373(91)90011-U","volume":"34","author":"Ashley K. D.","year":"1991","journal-title":"International Journal of Man-Machine Studies"},{"issue":"1","key":"ref0002","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s10506-006-9003-3","volume":"13","author":"Atkinson K.","year":"2005","journal-title":"Artificial Intelligence and Law"},{"key":"ref0003","first-page":"220","volume-title":"AIMSA \u201908: Proceedings of the 13th International Conference on Arificial Intelligence","author":"Atkinson K."},{"key":"ref0004","first-page":"118","volume-title":"Proceedings of the 12th International Conference on Artificial Intelligence and Law","author":"Bench-Capon T. J.M."},{"issue":"1","key":"ref0005","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(03)00108-5","volume":"150","author":"Bench-Capon T. J.M.","year":"2003","journal-title":"Artificial Intelligence"},{"key":"ref0006","doi-asserted-by":"crossref","unstructured":"Bench-Capon, T. and Prakken, H. 2008. \u2018Introducing the Logic and Law Corner\u2019, Journal of Logic and Computation. 18(1): 1\u201312.","DOI":"10.1093\/logcom\/exm060"},{"key":"ref0007","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi058"},{"key":"ref0008","first-page":"50","volume-title":"ICAIL \u201893: Proceedings of the 4th International Conference on Artificial Intelligence and Law","author":"Berman D. H."},{"key":"ref0009","doi-asserted-by":"crossref","unstructured":"Bex, F., Prakken, H., Reed, C. and Walton, D. 2003. \u2018Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations\u2019, Artificial Intelligence and Law. 11(2): 125\u2013165.","DOI":"10.1023\/B:ARTI.0000046007.11806.9a"},{"key":"ref0010","doi-asserted-by":"crossref","unstructured":"Bex, F., Van den Braak, S., Van Oostendorp, H., Prakken, H., Verheij, B. and Vreeswijk, G. 2007. \u2018Sensemaking Software for Crime Investigation: How to Combine Stories and Arguments?\u2019, Law, Probability and Risk. 6(1\u20134): 145\u2013168.","DOI":"10.1093\/lpr\/mgm007"},{"issue":"1","key":"ref0011","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"Bondarenko A.","year":"1997","journal-title":"Artificial Intelligence"},{"key":"ref0012","doi-asserted-by":"crossref","unstructured":"Bruninghaus, K. D.A.S. 2003. \u201cPredicting Outcomes of Case-based Legal Arguments\u201d. In\n                      ICAIL 2003\n                      , New York: ACM Press.","DOI":"10.1145\/1047788.1047838"},{"key":"ref0013","unstructured":"Dung, P. M. 1993. Logic Programming as Dialog-game. Technical Report, AIT"},{"key":"ref0014","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"ref0015","first-page":"108","volume-title":"Proceedings of the 21st Annual Conference, JURIX 2008, Volume 189 of Frontiers in Artificial Intelligence and Applications","author":"Dung P. M."},{"issue":"3","key":"ref0016","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s10506-009-9076-x","volume":"17","author":"Dung P. M.","year":"2009","journal-title":"Artificial Intelligence and Law"},{"key":"ref0017","unstructured":"Dung, P. M. and Thang, P. M. An Unified Framework for Dialectical Proof Procedures in Argumentation. Proceedings of Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09). Pasadena, California: Springer Verlag."},{"key":"ref0018","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.07.002"},{"key":"ref0019","doi-asserted-by":"crossref","unstructured":"Dung, P. M., Kowalski Robert, A. and Toni, F. 2009. \u201c\u2018Assumption-based Argumentation\u2019\u201d. New York: Springer-Verlag. in Argumentation in AI, ISBN: 9780387981963","DOI":"10.1007\/978-0-387-98197-0_10"},{"key":"ref0020","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.05.003"},{"key":"ref0021","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/1568234.1568249","author":"Dung P. M.","year":"2009","journal-title":"ICAIL"},{"key":"ref0022","unstructured":"Farnsworth, E. A., Young, W. F. and Sanger, C. 2001.\n                      Contracts: Cases and Materials\n                      , 6, New York, USA: Foundation Press. ISBN: 1587780577"},{"issue":"2","key":"ref0023","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"Farrell A. D.H.","year":"2005","journal-title":"International Journal of Cooperative Information Systems"},{"key":"ref0024","unstructured":"Freitel, G. 2004.\n                      Frustration and Force Majeure\n                      , 2, London, UK: Sweet and Maxell Press."},{"key":"ref0025","first-page":"183","author":"Gaertner D.","year":"2008","journal-title":"COMMA"},{"issue":"1","key":"ref0026","first-page":"95","volume":"4","author":"Garc\u00eda A. J.","year":"2004","journal-title":"TPLP"},{"key":"ref0027","unstructured":"Gardner, A. v.d.L. 1987.\n                      An Artificial Intelligence Approach to Legal Reasoning\n                      , Cambridge, MA: MIT Press. Mit Press Series of Artificial Intelligence and Legal Reasoning"},{"issue":"4","key":"ref0028","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00871972","volume":"2","author":"Gordon T. F.","year":"1994","journal-title":"Artificial Intelligence and Law"},{"key":"ref0029","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.010"},{"issue":"4","key":"ref0030","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"Governatori G.","year":"2006","journal-title":"International Journal of Cooperative Information Systems"},{"key":"ref0031","unstructured":"Lewison, K. 2004.\n                      The Interpretation of Contracts\n                      , London, UK: Sweet & Maxell."},{"key":"ref0032","first-page":"276","volume-title":"ICAIL \u201895: Proceedings of the 5th International Conference on Artificial Intelligence and Law","author":"McCarty L.T."},{"key":"ref0033","unstructured":"McKendrick, E. 2005.\n                      Contract Law: Text, Cases and Materials\n                      , Oxford, UK: Oxford University Press."},{"key":"ref0034","unstructured":"McMeel, G. 2007. \u201cThe Contruction of Contracts\u201d. Oxford, UK: Oxford University Press. ISBN: 9780199277933"},{"key":"ref0035","unstructured":"Poole, D. 2001. \u2018Logical Argumentation, Abduction and Bayesian Decision Theory: A Bayesian Approach to Logical Arguments and it's Application to Legal Evidential Reasoning\u2019, Cardozo Law Review. 22(5\u20136): 1733\u20131746."},{"key":"ref0036","unstructured":"Posner, R. A. 2007.\n                      Economic Analysis of Law\n                      , New York, USA: Wolters Kluwer Law and Business Press."},{"issue":"1","key":"ref0037","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1023\/A:1019536206548","volume":"10","author":"Prakken H.","year":"2002","journal-title":"Artificial Intelligence and Law"},{"key":"ref0038","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1017\/S0269888906000865","volume":"1","author":"Prakken H.","year":"2006","journal-title":"The Knowledge Engineering Review"},{"issue":"3","key":"ref0039","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00118496","volume":"4","author":"Prakken H.","year":"1996","journal-title":"Artificial Intelligence and Law"},{"issue":"2","key":"ref0040","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1023\/A:1008278309945","volume":"6","author":"Prakken H.","year":"1998","journal-title":"Artificial Intelligence and Law"},{"key":"ref0041","unstructured":"Rahwan, I. and Simari, G. 2009.\n                      Argumentation in Artificial Intelligence\n                      , Edited by: Rahwan, I. and Simari, G. New York, USA: Springer-Verlag."},{"key":"ref0042","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(91)90013-W"},{"key":"ref0043","first-page":"634","volume-title":"OTM Workshops, volume 3292 of Lecture Notes in Computer Science","author":"Roth B.","year":"2004"},{"key":"ref0044","unstructured":"Samuel, G. 2000.\n                      Source Book on Obligations and Legal Remedies\n                      , London, UK: Cavendish Publishing Limited."},{"issue":"1","key":"ref0045","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1023\/A:1019589831118","volume":"10","author":"Sartor G.","year":"2002","journal-title":"Artificial Intelligence and Law"},{"key":"ref0046","unstructured":"Steven, J. B. and Melvin, A. E. 2007.\n                      Contract Law: Selected Source Materials\n                      , New York, USA: Foundation Press."},{"key":"ref0047","doi-asserted-by":"crossref","unstructured":"Verheij, B. 2003. \u2018Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic\u2019, Artificial Intelligence and Law. 11(2-3): 167\u2013195.","DOI":"10.1023\/B:ARTI.0000046008.49443.36"},{"key":"ref0048","unstructured":"Walton, D. 1996. \u201cArgumentation Schemes for Presumptive Reasoning\u201d. Mahwah, NJ: LEA. ISBN: 080582071X DDC: 168 LCC: BC183 (alk. paper ed.)"},{"key":"ref0049","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1145\/222092.222257","author":"Yoshino H.","year":"1995","journal-title":"ICAIL"},{"issue":"1","key":"ref0050","doi-asserted-by":"crossref","first-page":"2","DOI":"10.20965\/jaciii.1998.p0002","volume":"2","author":"Yoshino H.","year":"1998","journal-title":"JACIII"}],"container-title":["Argument &amp; Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1080\/19462160903564584","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1080\/19462160903564584","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1080\/19462160903564584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:53:05Z","timestamp":1777377185000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1080\/19462160903564584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,1]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3,1]]}},"alternative-id":["10.1080\/19462160903564584"],"URL":"https:\/\/doi.org\/10.1080\/19462160903564584","relation":{},"ISSN":["1946-2166","1946-2174"],"issn-type":[{"value":"1946-2166","type":"print"},{"value":"1946-2174","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,1]]}}}