Tomer Libal

Tomer Libal

Postdoctoral researcher

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 0345-090
E-Mail
Telefon (+352) 46 66 44 5390
Fax (+352) 46 66 44 35390
powered by
orbilu.uni.lu

2020

Full Text
See detailTowards an Executable Methodology for the Formalization of Legal Texts
Libal, Tomer; Steen, Alexander

in Dastani, Mehdi; Dong, Huimin; van der Torre, Leon (Eds.) Logic and Argumentation. CLAR 2020 (2020, March)

Full Text
See detailNAI: Towards Transparent and Usable Semi-Automated Legal Analysis
Libal, Tomer; Steen, Alexander

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)

Top of Page

2019

Full Text
See detailNAI: The Normative Reasoner
Libal, Tomer; Steen, Alexander

in Bex, Floris (Ed.) Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law (2019)

Full Text
See detailThe NAI Suite - Drafting and Reasoning over Legal Texts
Libal, Tomer; Steen, Alexander

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)

See detailNAI – The Normative Reasoner
Libal, Tomer; Steen, Alexander

Software (2019)

Top of Page

2016

Full Text
See detailTowards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
Libal, Tomer; Steen, Alexander

in Urban, Josef; Fontaine, Pascal; Schulz, Stephan (Eds.) Practical Aspects of Automated Reasoning (2016, July)

Top of Page