Tomer Libal

Tomer Libal

Postdoctoral researcher

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
Email
Telephone (+352) 46 66 44 5390
powered by
orbilu.uni.lu

2022

Full Text
See detailThe LegAi Editor: A Tool for the Construction of Legal Knowledge Bases
Libal, Tomer

in 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)

Full Text
See detailAn Evaluation of Methodologies for Legal Formalization
Libal, Tomer; Novotná, Tereza

in Lecture Notes in Computer Science 13283, Springer 2022, (2022)

Top of Page

2021

Full Text
See detailFunctions-as-constructors Higher-order Unification: Extended Pattern Unification
Libal, Tomer; Miller, Dale

in Annals of Mathematics and Artificial Intelligence (2021)

Full Text
See detailTowards Transparent Legal Formalization
Libal, Tomer; Novotna, Tereza

in Explainable and Transparent AI and Multi-Agent Systems (2021)

Top of Page

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 M.; 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