Up a level |
Number of items: 2.
Atkinson, Katie ORCID: 0000-0002-5683-4106, Collenette, Joe, Bench-Capon, Trevor and Dzehtsiarou, Kanstantsin ORCID: 0000-0001-9253-6109
(2021)
Practical tools from formal models.
In: ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, 2021-6-21 - 2021-6-25.
Bench-Capon, Trevor and Atkinson, Katie ORCID: 0000-0002-5683-4106
(2021)
Precedential constraint.
In: ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, 2021-6-21 - 2021-6-25.