Tomer Libal
|
|
||||
| Postadresse |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
2020
NAI: Towards Transparent and Usable Semi-Automated Legal Analysis;
in Jusletter IT (2020), 27 Mai 2020
Towards an Executable Methodology for the Formalization of Legal Texts;
in Dastani, Mehdi; Dong, Huimin; van der Torre, Leon (Eds.) Logic and Argumentation. CLAR 2020 (2020, March)
NAI: Towards Transparent and Usable Semi-Automated Legal Analysis;
in Schweighöfer, Erich; Hötzendorfer, Walter; Kummer, Franz; Saarenpää, Ahti (Eds.) Verantwortungsbewusste Digitalisierung, Tagungsband des 23. Internationalen Rechtsinformatik Symposions IRIS 2020 (2020, February 27)
Towards Automating Inconsistency Checking of Legal Texts;
in Towards Automating Inconsistency Checking of Legal Texts (2020)
A bimodal simulation of defeasibility in thenormative domain; ; ;
in CEUR Workshop Proceedings (2020)
2019
NAI: The Normative Reasoner;
in Bex, Floris (Ed.) Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law (2019)
The NAI Suite - Drafting and Reasoning over Legal Texts;
in Araszkiewicz, Michal; Rodriguez-Doncel, Victor (Eds.) Legal Knowledge and Information Systems - JURIX2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019 (2019)
2016
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers;
in Urban, Josef; Fontaine, Pascal; Schulz, Stephan (Eds.) Practical Aspects of Automated Reasoning (2016, July)
