G. Ajani, G. Boella, L. D. Caro, L. Robaldo, and L. Humphreys,

, Guillaume Aucher was interviewed at the outset of the project by Jean-Michel Prima

S. Rossi, P. Violato, and A. , The European taxonomy syllabus: A multi-lingual, multi-level ontology framework to untangle the web of european legal terminologyuropean taxonomy syllabus: A multi-lingual, multi-level ontology framework to untangle the web of european legal terminology, Applied Ontology, vol.11, pp.325-375, 2016.

C. E. Alchourrón and E. Bulygin, Normative systems, 1971.

C. E. Alchourrón, P. Gärdenfors, and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, J. Symb. Log, vol.50, pp.510-530, 1985.

C. Areces, R. Fervari, and G. Hoffmann, Relation-changing modal operators, Logic Journal of the IGPL, vol.23, pp.601-627, 2015.

G. Aucher, P. Balbiani, L. F. Cerro, and A. Herzig, Global and local graph modifiers, Methods for Modalities 5 (M4M-5), 2007.
URL : https://hal.archives-ouvertes.fr/inria-00556034

G. Aucher, C. Barreau-saliou, G. Boella, A. Blandin-obernesser, S. Gambs et al., The Coprelobri project : the logical approach to privacy, 2e Atelier Protection de la Vie Privée, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00606014

G. Aucher, G. Boella, and L. Van-der-torre, Privacy policies with modal logic: the dynamic turn, Deontic Logic in Computer Science (DEON 2010), 2010.
URL : https://hal.archives-ouvertes.fr/inria-00556079

G. Aucher, G. Boella, and L. Van-der-torre, A dynamic logic for privacy compliance, Journal of artificial intelligence and law, vol.19, pp.187-231, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00628318

G. Aucher, J. Van-benthem, and D. Grossi, Modal logics of sabotage revisited, J. Log. Comput, vol.28, pp.269-303, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01827076

C. Baier and J. Katoen, Principles of model checking, 2008.

D. Bainbridge and . Case, Computer assisted sentencing in magistrates' courts, BILETA Conference, 1990.

P. Balbiani, R. Echahed, and A. Herzig, A dynamic logic for termgraph rewriting, ICGT (2010), pp.59-74
URL : https://hal.archives-ouvertes.fr/hal-00940868

C. Beierle, B. Freund, G. Kern-isberner, and M. Thimm, Using defeasible logic programming for argumentation-based decision support in private law, Artificial Intelligence and Applications, vol.216, pp.87-98

M. Ben-ari, Mathematical logic for computer science, 2012.

T. Bench-capon and H. Prakken, Introducing the logic and law corner, Journal of logic and computation, vol.18, pp.1-12, 2008.

G. Boella, L. D. Caro, L. Humphreys, L. Robaldo, P. Rossi et al., Eunomos, a legal document and knowledge management system for the web to provide relevant, reliable and up-to-date information on the law, Artif. Intell. Law, vol.24, pp.245-283, 2016.

G. Boella, L. Humphreys, M. Martin, P. Rossi, and L. Van-der-torre, Eunomos, a legal document and knowledge management system to build legal services, International Workshop on AI Approaches to the Complexity of Legal Systems, pp.131-146, 2011.

G. Bongiovanni, G. Postema, A. Rotolo, G. Sartor, C. Valentini et al., Handbook of Legal Reasoning and Argumentation, 2018.

F. Borges, R. Borges, and D. Bourcier, A connectionist model to justify the reasoning of the judge, The Fifteenth Annual Conference, pp.113-122, 2002.

R. E. Bryant, Graph-based algorithms for boolean function manipulation. Computers, IEEE Transactions on, vol.100, pp.677-691, 1986.

R. E. Bryant, Symbolic boolean manipulation with ordered binary-decision diagrams, ACM Comput. Surv, vol.24, pp.293-318, 1992.

D. Gabbay, J. Horty, X. Parent, R. Van-der-meyden, and L. Van-der-torre, Handbook of deontic logic and normative systems, 2013.

P. Gärdenfors, Knowledge in Flux (Modeling the Dynamics of Epistemic States)

. Bradford, , 1988.

P. Girard, J. Seligman, and F. Liu, General dynamic dynamic logic, Advances in Modal Logic, pp.239-260, 2012.

G. Governatori, V. Padmanabhan, A. Rotolo, and A. Sattar, A defeasible logic for modelling policy-based intentions and motivational attitudes, Logic Journal of the IGPL, vol.17, pp.227-265, 2009.

G. Governatori and A. Rotolo, Changing legal systems: legal abrogations and annulments in defeasible logic, Logic Journal of the IGPL, vol.18, pp.157-194, 2010.

D. Grossi and A. Rotolo, A New Survey of Active Directions in Modern Logic, vol.30, pp.251-274, 2011.

J. Halpern, R. Harper, N. Immerman, P. Kolaitis, M. Vardi et al., On the unusual e ectiveness of logic in computer science, The Bulletin of Symbolic Logic, vol.7, issue.2, pp.213-236, 2001.

A. Jones and M. Sergot, Deontic logic in the representation of law: Towards a methodology, Artificial Intelligence and Law, vol.1, pp.45-64, 1992.

P. Leith, The rise and fall of the legal expert system, European Journal of Law and Technology, vol.1, p.1, 2010.

L. Mccarty, A language for legal discourse i. basic features, Proceedings of ICAIL, pp.180-189, 1989.

L. S. Moss, Mathematical problems from applied logic I, pp.317-343, 2006.

H. Prakken, Formal systems for persuasion dialogue, The Knowledge Engineering Review, vol.21, issue.2, pp.163-188, 2006.

H. Prakken and G. Sartor, The role of logic in computational models of legal argument: a critical survey, Computational Logic: Logic Programming and Beyond, pp.175-188, 2002.

E. L. Rissland, A companion to cognitive science, pp.722-733, 1999.

K. Satoh, K. Asai, T. Kogawa, M. Kubota, M. Nakamura et al., Proleg: An implementation of the presupposed ultimate fact theory of japanese civil code by prolog technology, New Frontiers in Artificial Intelligence: JSAI-isAI, vol.6797, pp.153-164, 2010.

M. J. Sergot, F. Sadri, R. Kowalski, F. Kriwaczek, P. Hammond et al., The british nationality act as a logic program, Communications of the ACM, vol.29, pp.370-386, 1986.

Y. Struillou, M. Morin, and L. Pécaut-rivolier, Dalloz / Guides Dalloz, Le guide des élec-tions professionnelles 2016-2017 et des désignations de représentants syndicaux dans l'entreprise, vol.11, p.2015

J. Thireau, , 2009.

J. Van-benthem, Exploring logical dynamics, 1996.

J. Van-benthem, Logical Dynamics of Information and Interaction, 2011.

P. Wagner and . Machine-en-logique, , 1998.