Practical tools from formal models: the ECHR as a case study

Katie Atkinson, Joe Collenette, Trevor J. M. Bench-Capon, Kanstantsin Dzehtsiarou. Practical tools from formal models: the ECHR as a case study. In Juliano Maranhão, Adam Zachary Wyner, editors, ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21 - 25, 2021. pages 170-174, ACM, 2021. [doi]

Authors

Katie Atkinson

This author has not been identified. Look up 'Katie Atkinson' in Google

Joe Collenette

This author has not been identified. Look up 'Joe Collenette' in Google

Trevor J. M. Bench-Capon

This author has not been identified. Look up 'Trevor J. M. Bench-Capon' in Google

Kanstantsin Dzehtsiarou

This author has not been identified. Look up 'Kanstantsin Dzehtsiarou' in Google