Tomer Libal

Tomer Libal

Postdoctoral researcher

Faculté ou Centre Faculté des Sciences, des Technologies et de Médecine
Department Département Informatique
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E03 0335-140
E-mail
Téléphone (+352) 46 66 44 5390
Fax (+352) 46 66 44 35390
powered by
orbilu.uni.lu

2020

Full Text
See detailA Meta-level Annotation Language for Legal Texts
Libal, Tomer

in Lecture Notes in Computer Science (2020)

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

in Jusletter IT (2020), 27 Mai 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)

Full Text
See detailTowards Automating Inconsistency Checking of Legal Texts
Libal, Tomer; Tereza,

in Towards Automating Inconsistency Checking of Legal Texts (2020)

Full Text
See detailA bimodal simulation of defeasibility in thenormative domain
Libal, Tomer; van der Torre, Leon; Gabbay, Dov; Pascucci, Matteo

in CEUR Workshop Proceedings (2020)

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