  | 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. (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 |
 | Libal, T., & Novotná, T. (2022). An Evaluation of Methodologies for Legal Formalization. In Lecture Notes in Computer Science 13283, Springer 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/1 |
 | Libal, T., & Novotna, T. (2021). Towards Transparent Legal Formalization. In Explainable and Transparent AI and Multi-Agent Systems. Peer reviewed |
 | 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., & 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). 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. (2019). NAI – The Normative Reasoner. |
 | 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 |