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 | ||||
2022
The LegAi Editor: A Tool for the Construction of Legal Knowledge Basesin Legal Knowledge and Information Systems - JURIX 2022: The Thirty-fifth Annual Conference, Saarbrücken, Germany, 14-16 December 2022. Frontiers in Artificial Intelligence and Applications 362, IOS Press 2022 (2022)
An Evaluation of Methodologies for Legal Formalization;
in Lecture Notes in Computer Science 13283, Springer 2022, (2022)
2021
Functions-as-constructors Higher-order Unification: Extended Pattern Unification;
in Annals of Mathematics and Artificial Intelligence (2021)
Towards Transparent Legal Formalization;
in Explainable and Transparent AI and Multi-Agent Systems (2021)
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)
