Paper published in a book (Scientific congresses, symposiums and conference proceedings)
The NAI Suite - Drafting and Reasoning over Legal Texts
Libal, Tomer; Steen, Alexander
2019 • In Araszkiewicz, Michal; Rodriguez-Doncel, Victor (Eds.) Legal Knowledge and Information Systems - JURIX2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019
Libal, Tomer ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Steen, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
The NAI Suite - Drafting and Reasoning over Legal Texts
Publication date :
2019
Event name :
32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019)
Event place :
Madrid, Spain
Event date :
December 11-13 2019
Audience :
International
Main work title :
Legal Knowledge and Information Systems - JURIX2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019
Editor :
Araszkiewicz, Michal
Rodriguez-Doncel, Victor
Publisher :
IOS
Collection name :
Frontiers in Artificial Intelligence and Applications, Vol. 332
A.-M. Burley and W. Mattli, Europe before the court: a political theory of legal integration, International organization 47(1) (1993), 41–76.
M. Hashmi and G. Governatori, Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation, Artif. Intell. Law 26(3) (2018), 251–305. doi:10.1007/s10506-017-9215-8.
M. Palmirani and G. Governatori, Modelling Legal Knowledge for GDPR Compliance Checking, in: Legal Knowledge and Information Systems: JURIX, Vol. 313, IOS Press, 2018, pp. 101–110.
T.J.B.-C. et al., Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation, in: Proceedings of ICAIL, ACM, 1987, pp. 190–198.
M. Mockus and M. Palmirani, Legal ontology for open government data mashups, in: 2017 Conference for E-Democracy and Open Government (CeDEM), IEEE, 2017, pp. 113–124.
C. Bartolini, G. Lenzini and C. Santos, An interdisciplinary methodology to validate formal representations of legal text applied to the GDPR, in: JURISIN, 2018.
G. Governatori and S. Shek, Regorous: a business process compliance checker, in: Proc. of the 14th Int. Conf. on Artificial Intelligence and Law, ACM, 2013, pp. 245–246.
C. Benzmüller, A. Farjami, P. Meder and X. Parent, I/O Logic in HOL, IfCoLoG Journal of Logics and their Applications 6(5) (2019), 715–732.
T. Libal and M. Pascucci, Automated reasoning in normative detachment structures with ideal conditions, in: Proc. of ICAIL, 2019, pp. 63–72. doi:10.1145/3322640.3326707.
J. Otten, MleanCoP: A Connection Prover for First-Order Modal Logic, in: 7th International Joint Conference, IJCAR, 2014, pp. 269–276. doi:10.1007/978-3-319-08587-620.
J. Otten, Implementing Connection Calculi for First-order Modal Logics., in: IWIL@ LPAR, 2012, pp. 18–32.