Tomer Libal
|
|
||||
| Faculty or Centre | Faculty of Science, Technology and Medicine | ||||
| Department | Department of Computer Science | ||||
| Postal Address |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Campus Office | MNO, E03 0335-140 | ||||
|
|||||
| Telephone | (+352) 46 66 44 5390 | ||||
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)
