Tomer Libal

Tomer Libal
Postadresse Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
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