Tomer Libal
|
|
||||
| Fakultät oder Zentrum | Fakultät für Naturwissenschaften, Technologie und Medizin | ||||
| Department | Fachbereich Informatik | ||||
| Postadresse |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Büroadresse | MNO, E03 0335-140 | ||||
|
|||||
| Telefon | (+352) 46 66 44 5390 | ||||
| Fax | (+352) 46 66 44 35390 | ||||
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)
