{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:17:56Z","timestamp":1768353476512,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T00:00:00Z","timestamp":1497225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,12]]},"DOI":"10.1145\/3086512.3086533","type":"proceedings-article","created":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T17:00:12Z","timestamp":1513875612000},"page":"199-208","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Formalizing arguments, rules and cases"],"prefix":"10.1145","author":[{"given":"Bart","family":"Verheij","sequence":"first","affiliation":[{"name":"University of Groningen"}]}],"member":"320","published-online":{"date-parts":[[2017,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746090.2746103"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/222092.222106"},{"key":"e_1_3_2_1_3_1","unstructured":"K. D. Ashley. 1990. Modeling Legal Arguments: Reasoning with Cases and Hypotheticals. The MIT Press Cambridge (Massachusetts).   K. D. Ashley. 1990. Modeling Legal Arguments: Reasoning with Cases and Hypotheticals. The MIT Press Cambridge (Massachusetts)."},{"key":"e_1_3_2_1_4_1","unstructured":"C. Asser and A. F. Hartkamp. 1998. Mr. C. Asser's handleiding tot de beoefening van het Nederlands burgerlijk recht. Verbintenissenrecht. Deel III. De verbintenis uit de wet. Tiende druk bewerkt door Mr. A.S. Hartkamp. Tjeenk Willink Deventer.  C. Asser and A. F. Hartkamp. 1998. Mr. C. Asser's handleiding tot de beoefening van het Nederlands burgerlijk recht. Verbintenissenrecht. Deel III. De verbintenis uit de wet. Tiende druk bewerkt door Mr. A.S. Hartkamp. Tjeenk Willink Deventer."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-006-9003-3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.009"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.429"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/41735.41757"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00108-5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/222092.222116"},{"key":"e_1_3_2_1_11_1","unstructured":"G. Betlem. 1993. Civil Liability for Transfrontier Pollution. Graham and Trotman London.  G. Betlem. 1993. Civil Liability for Transfrontier Pollution. Graham and Trotman London."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00015-5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(91)90012-V"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00871744"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1111\/cogs.12004"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"T. F. Gordon. 1995. The Pleadings Game. An Artificial Intelligence Model of Procedural Justice. Kluwer.   T. F. Gordon. 1995. The Pleadings Game. An Artificial Intelligence Model of Procedural Justice. Kluwer.","DOI":"10.1007\/978-94-015-8447-0"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019516031847"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"J. C. Hage. 1997. Reasoning with Rules. An Essay on Legal Reasoning and its Underlying Logic. Kluwer.  J. C. Hage. 1997. Reasoning with Rules. An Essay on Legal Reasoning and its Underlying Logic. Kluwer.","DOI":"10.1007\/978-94-015-8873-7"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/lpr\/mgm005"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-012-9125-8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00872529"},{"key":"e_1_3_2_1_24_1","unstructured":"N. MacCormick and R. S. Summers (Eds.). 1997. Interpreting Precedents. A Comparative Study. Dartmouth Publishing Aldershot.  N. MacCormick and R. S. Summers (Eds.). 1997. Interpreting Precedents. A Comparative Study. Dartmouth Publishing Aldershot."},{"key":"e_1_3_2_1_25_1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming.","author":"Makinson D."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1104_4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/526901"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"H. Prakken. 1997. Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law. Kluwer.   H. Prakken. 1997. Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law. Kluwer.","DOI":"10.1007\/978-94-015-8975-8"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00118496"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1997.10510900"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008278309945"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/ext010"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI","author":"Rissland E. L.","year":"1983"},{"key":"e_1_3_2_1_34_1","volume-title":"From Knowledge Representation to Argumentation in AI, Law and Policy Making. A Festschrift in Honour of Trevor Bench-Capon on the Occasion of his 60th Birthday","author":"Rissland E. L."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/41735.41743"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019543817123"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"F. S. Roberts. 1985. Measurement Theory with Applications to Decisionmaking Utility and the Social Sciences. Cambridge University Press Cambridge.  F. S. Roberts. 1985. Measurement Theory with Applications to Decisionmaking Utility and the Social Sciences. Cambridge University Press Cambridge.","DOI":"10.1017\/CBO9780511759871"},{"key":"e_1_3_2_1_38_1","unstructured":"B. Roth. 2003. Case-Based Reasoning in the Law. A Formal Theory of Reasoning by Case Comparison. Dissertation. Universiteit Maastricht Maastricht.  B. Roth. 2003. Case-Based Reasoning in the Law. A Formal Theory of Reasoning by Case Comparison. Dissertation. Universiteit Maastricht Maastricht."},{"key":"e_1_3_2_1_39_1","volume-title":"Dialectical Arguments and Case Comparison. In Legal Knowledge and Information Systems: JURIX 2004: The Seventeenth Annual Conference, T. F. Gordon (Ed.). IOS Press","author":"Roth B."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/5689.5920"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00118477"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2016.09.002"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00707429"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"F. H. van Eemeren B. Garssen E. C. W. Krabbe A. F. Snoeck Henkemans B. Verheij and J. H. M. Wagemans. 2014. Handbook of Argumentation Theory. Springer Berlin.  F. H. van Eemeren B. Garssen E. C. W. Krabbe A. F. Snoeck Henkemans B. Verheij and J. H. M. Wagemans. 2014. Handbook of Argumentation Theory. Springer Berlin.","DOI":"10.1007\/978-90-481-9473-5"},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR","author":"\u010cyras K.","year":"2016"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00107-3"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.319"},{"key":"e_1_3_2_1_48_1","unstructured":"B. Verheij. 2005. Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers. T.M.C. Asser Press The Hague.  B. Verheij. 2005. Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers. T.M.C. Asser Press The Hague."},{"key":"e_1_3_2_1_49_1","volume-title":"Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference, E. Francesconi, G. Sartor, and D. Tiscornia (Eds.). IOS Press","author":"Verheij B.","year":"2008"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1093\/lpr\/mgu011"},{"key":"e_1_3_2_1_51_1","volume-title":"Correct Grounded Reasoning with Presumptive Arguments. In 15th European Conference on Logics in Artificial Intelligence, JELIA 2016. Larnaca, Cyprus, November 9--11, 2016. Proceedings (LNAI 10021)","author":"Verheij B.","year":"2016"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-016-9189-y"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-017-9199-4"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/261618.261659"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-014-9161-7"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-016-9183-4"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"D. N. Walton C. Reed and F. Macagno. 2008. Argumentation Schemes. Cambridge University Press Cambridge.  D. N. Walton C. Reed and F. Macagno. 2008. Argumentation Schemes. Cambridge University Press Cambridge.","DOI":"10.1017\/CBO9780511802034"}],"event":{"name":"ICAIL '17: Sixteenth International Conference on Artificial Intelligence and Law","location":"London United Kingdom","acronym":"ICAIL '17","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"]},"container-title":["Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3086512.3086533","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3086512.3086533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:02Z","timestamp":1750217822000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3086512.3086533"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,12]]},"references-count":57,"alternative-id":["10.1145\/3086512.3086533","10.1145\/3086512"],"URL":"https:\/\/doi.org\/10.1145\/3086512.3086533","relation":{},"subject":[],"published":{"date-parts":[[2017,6,12]]},"assertion":[{"value":"2017-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}