{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T01:59:03Z","timestamp":1768442343270,"version":"3.49.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319232638","type":"print"},{"value":"9783319232645","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_8","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"83-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Automated Inference of Rules with Exception from Past Legal Cases Using ASP"],"prefix":"10.1007","author":[{"given":"Duangtida","family":"Athakravi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Law","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krysia","family":"Broda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1016\/0020-7373(91)90011-U","volume":"34","author":"KD Ashley","year":"1991","unstructured":"Ashley, K.D.: Reasoning with cases and hypotheticals in hypo. Int. J. Man Mach. Stud. 34, 753\u2013796 (1991)","journal-title":"Int. J. Man Mach. Stud."},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-0-387-98197-0_18","volume-title":"Argumentation in Artificial Intelligence","author":"T Bench-Capon","year":"2009","unstructured":"Bench-Capon, T., Prakken, H., Sartor, G.: Argumentation in legal reasoning. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 363\u2013382. Springer, US (2009)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-59286-5_53","volume-title":"Machine Learning: ECML 1995","author":"Y Dimopoulos","year":"1995","unstructured":"Dimopoulos, Y., Kakas, A.: Learning non-monotonic logic programs: learning exceptions. In: Lavra\u010d, N., Wrobel, S. (eds.) ECML 1995. LNCS, vol. 912, pp. 122\u2013137. Springer, Heidelberg (1995)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77, 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"issue":"2","key":"8_CR5","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Horty, J.F.: Reasons and precedent. In: Ashley, K.D., van Engers, T.M. (eds.) Proceedings of the Conference of the 13th International Conference on Artificial Intelligence and Law, Pittsburgh, USA, pp. 41\u201350. ACM (2011)","DOI":"10.1145\/2018358.2018363"},{"key":"8_CR7","unstructured":"Inoue, K.: Learning extended logic programs. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence, pp. 176\u2013181 (1997)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-44533-1_14","volume-title":"PRICAI 2000 Topics in Artificial Intelligence","author":"K Ohara","year":"2000","unstructured":"Ohara, K., Taka, H., Babaguchi, N., Kitahashi, T.: Determination of general concept in learning default rules. In: Mizoguchi, R., Slaney, J.K. (eds.) PRICAI 2000. LNCS, vol. 1886, pp. 104\u2013114. Springer, Heidelberg (2000)"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0020-7373(07)80008-3","volume":"35","author":"T Routen","year":"1991","unstructured":"Routen, T., Bench-Capon, T.J.M.: Hierarchical formalizations. Int. J. Man Mach. Stud. 35(1), 69\u201393 (1991)","journal-title":"Int. J. Man Mach. Stud."},{"key":"8_CR10","unstructured":"Satoh, K.: Translating case-based reasoning into abductive logic programming. In: Proceedings of 12th European Conference on Artificial Intelligence, Budapest, Hungary, pp. 142\u2013146 (1996)"},{"issue":"2","key":"8_CR11","doi-asserted-by":"crossref","first-page":"94","DOI":"10.20965\/jaciii.1997.p0094","volume":"1","author":"K Satoh","year":"1997","unstructured":"Satoh, K.: Statutory interpretation by case-based reasoning through abductive logic programming. JACIII 1(2), 94\u2013103 (1997)","journal-title":"JACIII"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-49730-7_14","volume-title":"Algorithmic Learning Theory","author":"K Satoh","year":"1998","unstructured":"Satoh, K.: Analysis of case-based representability of boolean functions by monotone theory. In: Richter, M.M., Smith, C.H., Wiehagen, R., Zeugmann, T. (eds.) ALT 1998. LNCS (LNAI), vol. 1501, pp. 179\u2013190. Springer, Heidelberg (1998)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-25655-4_14","volume-title":"New Frontiers in Artificial Intelligence","author":"K Satoh","year":"2011","unstructured":"Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C.: PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology. In: Bekki, D. (ed.) JSAI-isAI 2010. LNCS, vol. 6797, pp. 153\u2013164. Springer, Heidelberg (2011)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Satoh, K., Kubota, M., Nishigai, Y., Takano, C.: Translating the Japanese presupposed ultimate fact theory into logic programming. In: JURIX 2009: The Twenty-Second Annual Conference on Legal Knowledge and Information Systems, The Netherlands, pp. 162\u2013171. IOS Press (2009)","DOI":"10.3233\/978-1-60750-082-7-162"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-20832-4_11","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"F Toni","year":"2011","unstructured":"Toni, F., Sergot, M.: Argumentation and answer set programming. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 164\u2013180. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:22:08Z","timestamp":1748622128000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}