References of "Libal, Tomer 50031277"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailThe LegAi Editor: A Tool for the Construction of Legal Knowledge Bases
Libal, Tomer UL

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)

Detailed reference viewed: 32 (1 UL)
Full Text
Peer Reviewed
See detailAn Evaluation of Methodologies for Legal Formalization
Libal, Tomer UL; Novotná, Tereza

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

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailTowards Transparent Legal Formalization
Libal, Tomer UL; Novotna, Tereza

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

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailFunctions-as-constructors Higher-order Unification: Extended Pattern Unification
Libal, Tomer UL; Miller, Dale

in Annals of Mathematics and Artificial Intelligence (2021)

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailNAI: Towards Transparent and Usable Semi-Automated Legal Analysis
Libal, Tomer UL; Steen, Alexander UL

in Jusletter IT (2020), 27 Mai 2020

A prototype for automated reasoning over legal documents, called NAI, is presented. It uses formalized representations of legal documents that are created using a graphical editor that is also provided as ... [more ▼]

A prototype for automated reasoning over legal documents, called NAI, is presented. It uses formalized representations of legal documents that are created using a graphical editor that is also provided as part of NAI. The prototype supports several automated reasoning procedures over the given formalizations, including the execution of user queries. The application of NAI is studied using a fragment of the Scottish Smoking Prohibition (Children in Motor Vehicles) Act 2016. [less ▲]

Detailed reference viewed: 129 (4 UL)
Full Text
Peer Reviewed
See detailTowards an Executable Methodology for the Formalization of Legal Texts
Libal, Tomer UL; Steen, Alexander UL

in Dastani, Mehdi; Dong, Huimin; van der Torre, Leon (Eds.) Logic and Argumentation. CLAR 2020 (2020, March)

A methodology for the formalization of legal texts is presented. This methodology is based on features of the NAI Suite, a recently developed formalization environment for legal texts. The ability of the ... [more ▼]

A methodology for the formalization of legal texts is presented. This methodology is based on features of the NAI Suite, a recently developed formalization environment for legal texts. The ability of the tool to execute queries is used in order to drive a correct formalization until all queries are validated. The approach is studied on a fragment of the Smoking Prohibition (Children in Motor Vehicles) (Scotland) Act 2016 of the Scottish Parliament. [less ▲]

Detailed reference viewed: 98 (2 UL)
Full Text
Peer Reviewed
See detailNAI: Towards Transparent and Usable Semi-Automated Legal Analysis
Libal, Tomer UL; Steen, Alexander UL

in Schweighöfer, Erich; Hötzendorfer, Walter; Kummer, Franz (Eds.) et al Verantwortungsbewusste Digitalisierung, Tagungsband des 23. Internationalen Rechtsinformatik Symposions IRIS 2020 (2020, February 27)

A prototype for automated reasoning over legal documents, called NAI, is presented. It uses formalized representations of legal documents that are created using a graphical editor that is also provided as ... [more ▼]

A prototype for automated reasoning over legal documents, called NAI, is presented. It uses formalized representations of legal documents that are created using a graphical editor that is also provided as part of NAI. The prototype supports several automated reasoning procedures over the given formalizations, including the execution of user queries. The application of NAI is studied using a fragment of the Scottish Smoking Prohibition (Children in Motor Vehicles) Act 2016. [less ▲]

Detailed reference viewed: 148 (19 UL)
Full Text
Peer Reviewed
See detailTowards Automating Inconsistency Checking of Legal Texts
Libal, Tomer UL; Tereza,

in Towards Automating Inconsistency Checking of Legal Texts (2020)

Inconsistencies in legal texts are sometimes hard to find and correct. In this paper a novel machine executable methodology is described, which can facilitate this process. We demonstrate the methodology ... [more ▼]

Inconsistencies in legal texts are sometimes hard to find and correct. In this paper a novel machine executable methodology is described, which can facilitate this process. We demonstrate the methodology on the American University of Paris Library Circulation Policy No. AA036EN. [less ▲]

Detailed reference viewed: 115 (2 UL)
Full Text
Peer Reviewed
See detailA bimodal simulation of defeasibility in thenormative domain
Libal, Tomer UL; van der Torre, Leon UL; Gabbay, Dov M. UL et al

in CEUR Workshop Proceedings (2020)

In the present work we illustrate how two sorts of defeasiblereasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated ... [more ▼]

In the present work we illustrate how two sorts of defeasiblereasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated via monotonic propositional theories based on a bimodal language with primitive operators representing knowledge and obligation. The proposed theoretical framework paves the way to using native theorem provers for multimodal logic, such as MleanCoP, in order to automate normative reasoning. [less ▲]

Detailed reference viewed: 43 (3 UL)
Full Text
Peer Reviewed
See detailA Meta-level Annotation Language for Legal Texts
Libal, Tomer UL

in Lecture Notes in Computer Science (2020)

There are many legal texts which can greatly benefit from the supportof automated reasoning. Such support depends on the existence of a logical for-malization of the legal text. Among the methods used for ... [more ▼]

There are many legal texts which can greatly benefit from the supportof automated reasoning. Such support depends on the existence of a logical for-malization of the legal text. Among the methods used for the creation of theseknowledge bases, annotation tools attempt to abstract over the logical languageand support non-logicians in their efforts to formalize documents. Nevertheless,legal documents use a rich language which is not easy to annotate. In this paper,an existing annotation tool is being extended in order to support the formalization of a complex example - the GDPR’s article 13. The complexity of the article prevents a direct annotation using logical and deontical operators. This is overcome by the implementation of several macros. We demonstrate the automated reasoning over the formalized article and argue that macros can be used to formalizecomplex legal texts. [less ▲]

Detailed reference viewed: 71 (3 UL)
See detailNAI – The Normative Reasoner
Libal, Tomer UL; Steen, Alexander UL

Software (2019)

Detailed reference viewed: 98 (9 UL)
Full Text
Peer Reviewed
See detailThe NAI Suite - Drafting and Reasoning over Legal Texts
Libal, Tomer UL; Steen, Alexander UL

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)

Detailed reference viewed: 52 (0 UL)
Full Text
Peer Reviewed
See detailNAI: The Normative Reasoner
Libal, Tomer UL; Steen, Alexander UL

in Bex, Floris (Ed.) Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law (2019)

Detailed reference viewed: 53 (5 UL)
Full Text
Peer Reviewed
See detailTowards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
Libal, Tomer UL; Steen, Alexander UL

in Urban, Josef; Fontaine, Pascal; Schulz, Stephan (Eds.) Practical Aspects of Automated Reasoning (2016, July)

Detailed reference viewed: 39 (1 UL)