Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
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)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
The NAI Suite - Drafting and Reasoning over Legal Texts
Date de publication/diffusion :
2019
Nom de la manifestation :
32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019)
Lieu de la manifestation :
Madrid, Espagne
Date de la manifestation :
December 11-13 2019
Manifestation à portée :
International
Titre de l'ouvrage principal :
Legal Knowledge and Information Systems - JURIX2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019
Editeur scientifique :
Araszkiewicz, Michal
Rodriguez-Doncel, Victor
Maison d'édition :
IOS
Collection et n° de collection :
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.
