The LegAi Editor: A Tool for the Construction of Legal Knowledge Bases

Libal, Tomer

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Libal, Tomer

2022 • 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

Permalink
https://hdl.handle.net/10993/53269

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

ios-book-article.pdf

Author preprint (234.33 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

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

External co-authors :

Language :

English

Title :

The LegAi Editor: A Tool for the Construction of Legal Knowledge Bases

Publication date :

2022

Event name :

Legal Knowledge and Information Systems - JURIX 2022

Event date :

14-12-2022 to 16-12-2022

Audience :

International

Main work title :

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

ISBN/EAN :

978-1-64368-364-5

Peer reviewed :

Peer reviewed

Focus Area :

Law / European Law

Available on ORBilu :

since 20 December 2022

Statistics

Number of views

53 (7 by Unilu)

Number of downloads

33 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

Cesare Bartolini, Gabriele Lenzini, and Cristiana Santos. An interdisciplinary methodology to validate formal representations of legal text applied to the gdpr. In JURISIN, 2018.
Barwise, Jon. "An introduction to first-order logic. " Studies in Logic and the Foundations of Mathematics. Vol. 90. Elsevier, 5-46, 1977.
Trevor JM Bench-Capon et al. Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation. In Proceedings of ICAIL, pages 190-198. ACM, 1987
Anne-Marie Burley and Walter Mattli. Europe before the court: A political theory of legal integration. International organization, 47(1): 41-76, 1993.
Benzmüller, Christoph. "Universal (meta-) logical reasoning: Recent successes. " Science of Computer Programming 172: 48-62, (2019).
Mustafa Hashmi and Guido Governatori. Norms modeling constructs of business process compliance management frameworks: A conceptual evaluation. Artif. Intell. Law, 26(3): 251-305, 2018
Kowalski, Robert. "Logical english. " Proceedings of Logic and Practice of Programming (LPOP), 2020.
Libal, Tomer. "Towards automated GDPR compliance checking. " International Workshop on the Foundations of Trustworthy AI Integrating Learning, Optimization and Reasoning. Springer, Cham, 2020.
Libal, Tomer, and Matteo Pascucci. "Automated reasoning in normative detachment structures with ideal conditions. " Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law. 2019.
Martynas Mockus and Monica Palmirani. Legal ontology for open government data mashups. In 2017 Conference for E-Democracy and Open Government (CeDEM), pages 113-124. IEEE, 2017.
Novotna, Tereza and Tomer Libal. "An Evaluation of Methodologies for Legal Formalization". Proceedings of the "International Workshop on Explainable, Transparent Autonomous Agents and Multi-Agent Systems. Springer, 2022.
Monica Palmirani and Guido Governatori. Modelling legal knowledge for gdpr compliance checking. In Legal Knowledge and Information Systems: JURIX, volume 313, pages 101-110. IOS Press, 2018.
Robaldo, Livio, et al. "Formalizing GDPR provisions in reified I/O logic: The DAPRECO knowledge base. " Journal of Logic, Language and Information 29. 4: 401-449. 2020.
Sergot, Marek J., et al. "The British Nationality Act as a logic program. " Communications of the ACM 29. 5: 370-386, 1986.
Soavi, Michele, et al. "From Legal Contracts to Formal Specifications: A Systematic Literature Review. " SN Computer Science 3. 5: 1-25. 2022.
Sutcliffe, Geoff. "The TPTP problem library and associated infrastructure. " Journal of Automated Reasoning 43. 4: 337-362. 2009.
Weaver, David A., and Bruce Bimber. "Finding news stories: A comparison of searches using LexisNexis and Google News. " Journalism & Mass Communication Quarterly 85. 3 515-530, 2008.