{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T09:33:20Z","timestamp":1758706400744,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T00:00:00Z","timestamp":1624233600000},"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":[[2021,6,21]]},"DOI":"10.1145\/3462757.3466095","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T06:50:46Z","timestamp":1627455046000},"page":"170-174","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Practical tools from formal models"],"prefix":"10.1145","author":[{"given":"Katie","family":"Atkinson","sequence":"first","affiliation":[{"name":"University of Liverpool, Liverpool, UK"}]},{"given":"Joe","family":"Collenette","sequence":"additional","affiliation":[{"name":"University of Liverpool, Liverpool, UK"}]},{"given":"Trevor","family":"Bench-Capon","sequence":"additional","affiliation":[{"name":"University of Liverpool, Liverpool, UK"}]},{"given":"Kanstantsin","family":"Dzehtsiarou","sequence":"additional","affiliation":[{"name":"University of Liverpool, Liverpool, UK"}]}],"member":"320","published-online":{"date-parts":[[2021,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-016-9178-1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.93"},{"volume-title":"Practical legal expert systems: the relation between a formalisation of legislation and expert knowledge","author":"Bench-Capon Trevor","key":"e_1_3_2_1_4_1","unstructured":"Trevor Bench-Capon . 1991. Practical legal expert systems: the relation between a formalisation of legislation and expert knowledge . In Law, Computer Science and Artificial Intelligence, M Bennun and A Narayanan (Eds.). Ablex , 191--201. Trevor Bench-Capon. 1991. Practical legal expert systems: the relation between a formalisation of legislation and expert knowledge. In Law, Computer Science and Artificial Intelligence, M Bennun and A Narayanan (Eds.). Ablex, 191--201."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/41735.41757"},{"key":"e_1_3_2_1_6_1","volume-title":"Twelfth International Conference on the Principles of Knowledge Representation and Reasoning. 102--111","author":"Brewka Gerhard","year":"2010","unstructured":"Gerhard Brewka and Stefan Woltran . 2010 . Abstract dialectical frameworks . In Twelfth International Conference on the Principles of Knowledge Representation and Reasoning. 102--111 . Gerhard Brewka and Stefan Woltran. 2010. Abstract dialectical frameworks. In Twelfth International Conference on the Principles of Knowledge Representation and Reasoning. 102--111."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047788.1047838"},{"key":"e_1_3_2_1_8_1","volume-title":"Neural legal judgment prediction in English. arXiv preprint arXiv:1906.02059","author":"Chalkidis Ilias","year":"2019","unstructured":"Ilias Chalkidis , Ion Androutsopoulos , and Nikolaos Aletras . 2019. Neural legal judgment prediction in English. arXiv preprint arXiv:1906.02059 ( 2019 ). Ilias Chalkidis, Ion Androutsopoulos, and Nikolaos Aletras. 2019. Neural legal judgment prediction in English. arXiv preprint arXiv:1906.02059 (2019)."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings COMMA","author":"Collenette Joe","year":"2020","unstructured":"Joe Collenette , Katie Atkinson , and Trevor Bench-Capon . 2020 . An explainable approach to deducing outcomes in European Court of HumanRights cases using ADFs . In Proceedings COMMA 2020. IOS Press, 21--32. Joe Collenette, Katie Atkinson, and Trevor Bench-Capon. 2020. An explainable approach to deducing outcomes in European Court of HumanRights cases using ADFs. In Proceedings COMMA 2020. IOS Press, 21--32."},{"key":"e_1_3_2_1_10_1","volume-title":"Great Debates on the European Convention on Human Rights. Macmillan International Higher Education.","author":"Londras Fiona De","year":"2018","unstructured":"Fiona De Londras and Kanstantsin Dzehtsiarou . 2018 . Great Debates on the European Convention on Human Rights. Macmillan International Higher Education. Fiona De Londras and Kanstantsin Dzehtsiarou. 2018. Great Debates on the European Convention on Human Rights. Macmillan International Higher Education."},{"key":"e_1_3_2_1_11_1","unstructured":"European Court of Human Rights. 2019. Analysis of statistics. (2019). https:\/\/www.echr.coe.int\/Documents\/Stats_analysis_2019_ENG.pdf.  European Court of Human Rights. 2019. Analysis of statistics. (2019). https:\/\/www.echr.coe.int\/Documents\/Stats_analysis_2019_ENG.pdf."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3086512.3086521"},{"key":"e_1_3_2_1_13_1","volume-title":"27th AIAI Irish Conference on AI and Cognitive Science. CEUR 2563","author":"Kaur Arshdeep","year":"2019","unstructured":"Arshdeep Kaur and Bojan Bozic . 2019 . Convolutional Neural Network-based Automatic Prediction of Judgments of the European Court of Human Rights .. In 27th AIAI Irish Conference on AI and Cognitive Science. CEUR 2563 , 458--469. Arshdeep Kaur and Bojan Bozic. 2019. Convolutional Neural Network-based Automatic Prediction of Judgments of the European Court of Human Rights.. In 27th AIAI Irish Conference on AI and Cognitive Science. CEUR 2563, 458--469."},{"key":"e_1_3_2_1_14_1","volume-title":"Using machine learning to predict decisions of the European Court of Human Rights. AI and Law","author":"Medvedeva Masha","year":"2019","unstructured":"Masha Medvedeva , Michel Vols , and Martijn Wieling . 2019. Using machine learning to predict decisions of the European Court of Human Rights. AI and Law ( 2019 ), 1--30. Masha Medvedeva, Michel Vols, and Martijn Wieling. 2019. Using machine learning to predict decisions of the European Court of Human Rights. AI and Law (2019), 1--30."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of JURIX","author":"Medvedeva Masha","year":"2020","unstructured":"Masha Medvedeva , Michel Vols , and Martijn Wieling . 2020 . URI SAYS: An Automatic Judgement Prediction System for the European Court of Human Rights .. In Proceedings of JURIX 2020. 277--280. Masha Medvedeva, Michel Vols, and Martijn Wieling. 2020. URI SAYS: An Automatic Judgement Prediction System for the European Court of Human Rights.. In Proceedings of JURIX 2020. 277--280."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/5689.5920"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00118477"}],"event":{"name":"ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"S\u00e3o Paulo Brazil","acronym":"ICAIL '21"},"container-title":["Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462757.3466095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3462757.3466095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:31Z","timestamp":1750195711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462757.3466095"}},"subtitle":["the ECHR as a case study"],"short-title":[],"issued":{"date-parts":[[2021,6,21]]},"references-count":16,"alternative-id":["10.1145\/3462757.3466095","10.1145\/3462757"],"URL":"https:\/\/doi.org\/10.1145\/3462757.3466095","relation":{},"subject":[],"published":{"date-parts":[[2021,6,21]]},"assertion":[{"value":"2021-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}