{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:17:48Z","timestamp":1773717468097,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642256547","type":"print"},{"value":"9783642256554","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25655-4_14","type":"book-chapter","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T06:58:30Z","timestamp":1321599510000},"page":"153-164","source":"Crossref","is-referenced-by-count":33,"title":["PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology"],"prefix":"10.1007","author":[{"given":"Ken","family":"Satoh","sequence":"first","affiliation":[]},{"given":"Kento","family":"Asai","sequence":"additional","affiliation":[]},{"given":"Takamune","family":"Kogawa","sequence":"additional","affiliation":[]},{"given":"Masahiro","family":"Kubota","sequence":"additional","affiliation":[]},{"given":"Megumi","family":"Nakamura","sequence":"additional","affiliation":[]},{"given":"Yoshiaki","family":"Nishigai","sequence":"additional","affiliation":[]},{"given":"Kei","family":"Shirakawa","sequence":"additional","affiliation":[]},{"given":"Chiaki","family":"Takano","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. 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.\u00a077(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"issue":"10-15","key":"14_CR2","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","author":"T.F. Gordon","year":"2007","unstructured":"Gordon, T.F., Prakken, H., Walton, D.: The Carneades Model of Argument and Burden of Proof. Artif. Intell.\u00a0171(10-15), 875\u2013896 (2007)","journal-title":"Artif. Intell."},{"key":"14_CR3","unstructured":"Ito, S.: Lecture Series on Ultimate Facts. Shojihomu (2008) (in Japanese)"},{"key":"14_CR4","unstructured":"McCarty, L.T., Sridharan, N.S., Sangster, B.C.: The Implementation of TAXMAN II: An Experiment in Artificial Intelligence and Legal Reasoning. Report LRP-TR-2, Rutgers University (1979)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Prakken, H.: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Law and Philosophy Library\u00a032 (1997)","DOI":"10.1007\/978-94-015-8975-8"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Prakken, H., Sartor, G.: Formalising Arguments about the Burden of Persuasion. In: Proc. of ICAIL 2007, pp. 97\u2013106 (2007)","DOI":"10.2139\/ssrn.998206"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Satoh, K., Kubota, M., Nishigai, Y., Takano, C.: Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming. In: Proc. of JURIX 2009, pp. 162\u2013171 (2009)","DOI":"10.3233\/978-1-60750-082-7-162"},{"issue":"5","key":"14_CR8","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M.J. Sergot","year":"1986","unstructured":"Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The British Nationality Act as a Logic Program. CACM\u00a029(5), 370\u2013386 (1986)","journal-title":"CACM"},{"key":"14_CR9","unstructured":"Yoshino, H.: On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation, vol.\u00a05(1-2), pp. 77\u201396 (1997)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25655-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T06:12:26Z","timestamp":1741932746000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-25655-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642256547","9783642256554"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25655-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}