Profil

LIBAL Tomer

University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Main Referenced Co-authors
STEEN, Alexander  (7)
Abidi, Abdelhamid (1)
Ahmedi, Lule (1)
Allkivi-Metsoja, Kais (1)
ANASTASIOU, Dimitra  (1)
Main Referenced Keywords
Automated Reasoning (3); Legal Reasoning (3); automated reasoning (2); Deontic Logic (2); annotation tools (1);
Main Referenced Disciplines
Computer science (17)
Law, criminology & political science: Multidisciplinary, general & others (5)

Publications (total 17)

The most downloaded
201 downloads
LIBAL, T., & Novotná, T. (2022). An Evaluation of Methodologies for Legal Formalization. In Lecture Notes in Computer Science 13283, Springer 2022. https://hdl.handle.net/10993/53302

The most cited

10 citations (OpenCitations)

Sayers, D., Sousa-Silva, R., Höhn, S., Ahmedi, L., Allkivi-Metsoja, K., ANASTASIOU, D., Beňuš, Š., Bowker, L., Bytyçi, E., Catala, A., Çepani, A., Chacón-Beltrán, R., Dadi, S., Dalipi, F., DESPOTOVIC, V., Doczekalska, A., Drude, S., Fort, K., Fuchs, R., ... Yildirim Yayilgan, S. (2021). The Dawn of the Human-Machine Era: A forecast of new and emerging language technologies. doi:10.17011/jyx/reports/20210518/1https://orbilu.uni.lu/handle/10993/60239 https://hdl.handle.net/10993/60239

LIBAL, T. (2023). Legal linguistic templates and the tension between legal knowledge representation and reasoning. Frontiers in Artificial Intelligence, 6, 1136263. doi:10.3389/frai.2023.1136263
Peer Reviewed verified by ORBi

Abidi, A., & LIBAL, T. (2022). A validation process for a legal formalization method. In Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations. Arxiv.
Peer reviewed

LIBAL, T., & Novotná, T. (2022). An Evaluation of Methodologies for Legal Formalization. In Lecture Notes in Computer Science 13283, Springer 2022.
Peer reviewed

LIBAL, T. (2022). The LegAi Editor: A Tool for the Construction of Legal Knowledge Bases. 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.
Peer reviewed

Sayers, D., Sousa-Silva, R., Höhn, S., Ahmedi, L., Allkivi-Metsoja, K., ANASTASIOU, D., Beňuš, Š., Bowker, L., Bytyçi, E., Catala, A., Çepani, A., Chacón-Beltrán, R., Dadi, S., Dalipi, F., DESPOTOVIC, V., Doczekalska, A., Drude, S., Fort, K., Fuchs, R., ... Yildirim Yayilgan, S. (2021). The Dawn of the Human-Machine Era: A forecast of new and emerging language technologies. doi:10.17011/jyx/reports/20210518/1https://orbilu.uni.lu/handle/10993/60239

LIBAL, T., & Miller, D. (2021). Functions-as-constructors Higher-order Unification: Extended Pattern Unification. Annals of Mathematics and Artificial Intelligence. doi:10.1007/s10472-021-09774-y
Peer reviewed

LIBAL, T., & Novotna, T. (2021). Towards Transparent Legal Formalization. In Explainable and Transparent AI and Multi-Agent Systems.
Peer reviewed

LIBAL, T., & STEEN, A. (May 2020). NAI: Towards Transparent and Usable Semi-Automated Legal Analysis. Jusletter IT, 27 Mai 2020. doi:10.38023/2eb63e02-f13e-45f5-9a7b-d7fe55e42c6c
Peer reviewed

LIBAL, T., & STEEN, A. (2020). Towards an Executable Methodology for the Formalization of Legal Texts. In M. Dastani, H. Dong, ... L. VAN DER TORRE (Eds.), Logic and Argumentation. CLAR 2020 (pp. 151-165). Cham, Switzerland: Springer. doi:10.1007/978-3-030-44638-3_10
Peer reviewed

LIBAL, T., & STEEN, A. (2020). NAI: Towards Transparent and Usable Semi-Automated Legal Analysis. In E. Schweighöfer, W. Hötzendorfer, F. Kummer, ... A. Saarenpää (Eds.), Verantwortungsbewusste Digitalisierung, Tagungsband des 23. Internationalen Rechtsinformatik Symposions IRIS 2020 (pp. 265-272). Switzerland: Editions Weblaw.
Peer reviewed

LIBAL, T. (2020). A Meta-level Annotation Language for Legal Texts. In Lecture Notes in Computer Science. Springer. doi:10.1007/978-3-030-44638-3_9
Peer reviewed

LIBAL, T., & Tereza. (2020). Towards Automating Inconsistency Checking of Legal Texts. In Towards Automating Inconsistency Checking of Legal Texts. doi:10.38023/336778dc-530a-48ac-95da-336a8bd40995
Peer reviewed

LIBAL, T., VAN DER TORRE, L., GABBAY, D. M., & Pascucci, M. (2020). A bimodal simulation of defeasibility in thenormative domain. In CEUR Workshop Proceedings.
Peer reviewed

LIBAL, T., & STEEN, A. (2019). NAI: The Normative Reasoner. In F. Bex (Ed.), Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law (pp. 262-263). ACM.
Peer reviewed

LIBAL, T., & STEEN, A. (2019). NAI – The Normative Reasoner.

LIBAL, T., & STEEN, A. (2019). The NAI Suite - Drafting and Reasoning over Legal Texts. In M. Araszkiewicz & V. Rodriguez-Doncel (Eds.), Legal Knowledge and Information Systems - JURIX2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019 (pp. 243-246). IOS. doi:10.3233/FAIA190333
Peer reviewed

LIBAL, T., & STEEN, A. (2016). Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers. In J. Urban, P. Fontaine (Ed.), ... S. Schulz (Ed.), Practical Aspects of Automated Reasoning (pp. 82-94). CEUR-WS.org.
Peer reviewed

Contact ORBilu