711 | -- | 714 | Livio Robaldo, Leendert W. N. van der Torre. Introduction to Legal AI |
715 | -- | 732 | Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent. I/O Logic in HOL |
733 | -- | 754 | Christoph Benzmüller, Ali Farjami, Xavier Parent. åqvist's Dyadic Deontic Logic E in HOL |
755 | -- | 780 | Cleyton M. O. Rodrigues, Eunice Palmeira da Silva, Fred Freitas, Italo Jose da Silva Oliveira, Ivan Varzinczak. LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability |
781 | -- | 814 | Guillaume Aucher, Jean Berbinau, Marie-Laure Morin. Principles for a Judgement Editor Based on Binary Decision Diagrams |
815 | -- | 846 | Guido Governatori, Antonino Rotolo. Time and Compensation Mechanisms in Checking Legal Compliance |
847 | -- | 864 | Réka Markovich. Rights and Punishment: The Hohfeldian Theory's Applicability and Morals in Understanding Criminal Law |
865 | -- | 902 | Rafal Urbaniak. Probabilistic Legal Decision Standards Still Fail |
903 | -- | 940 | Régis Riveret, Antonino Rotolo, Giovanni Sartor. A Deontic Argumentation Framework Towards Doctrine Reification |
941 | -- | 962 | Réka Markovich. Two Limitations in Legal Knowledge Base Constructing and Formalizing Law |
963 | -- | 998 | Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri. Efficient Full Compliance Checking of Concurrent Components for business Process Models |