,
, Guillaume Aucher was interviewed at the outset of the project by Jean-Michel Prima
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. ,
Normative systems, 1971. ,
On the logic of theory change: Partial meet contraction and revision functions, J. Symb. Log, vol.50, pp.510-530, 1985. ,
Relation-changing modal operators, Logic Journal of the IGPL, vol.23, pp.601-627, 2015. ,
Global and local graph modifiers, Methods for Modalities 5 (M4M-5), 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00556034
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
Privacy policies with modal logic: the dynamic turn, Deontic Logic in Computer Science (DEON 2010), 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00556079
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
Modal logics of sabotage revisited, J. Log. Comput, vol.28, pp.269-303, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01827076
Principles of model checking, 2008. ,
Computer assisted sentencing in magistrates' courts, BILETA Conference, 1990. ,
A dynamic logic for termgraph rewriting, ICGT (2010), pp.59-74 ,
URL : https://hal.archives-ouvertes.fr/hal-00940868
Using defeasible logic programming for argumentation-based decision support in private law, Artificial Intelligence and Applications, vol.216, pp.87-98 ,
Mathematical logic for computer science, 2012. ,
Introducing the logic and law corner, Journal of logic and computation, vol.18, pp.1-12, 2008. ,
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. ,
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. ,
Handbook of Legal Reasoning and Argumentation, 2018. ,
A connectionist model to justify the reasoning of the judge, The Fifteenth Annual Conference, pp.113-122, 2002. ,
Graph-based algorithms for boolean function manipulation. Computers, IEEE Transactions on, vol.100, pp.677-691, 1986. ,
Symbolic boolean manipulation with ordered binary-decision diagrams, ACM Comput. Surv, vol.24, pp.293-318, 1992. ,
Handbook of deontic logic and normative systems, 2013. ,
Knowledge in Flux (Modeling the Dynamics of Epistemic States) ,
, , 1988.
General dynamic dynamic logic, Advances in Modal Logic, pp.239-260, 2012. ,
A defeasible logic for modelling policy-based intentions and motivational attitudes, Logic Journal of the IGPL, vol.17, pp.227-265, 2009. ,
Changing legal systems: legal abrogations and annulments in defeasible logic, Logic Journal of the IGPL, vol.18, pp.157-194, 2010. ,
A New Survey of Active Directions in Modern Logic, vol.30, pp.251-274, 2011. ,
On the unusual e ectiveness of logic in computer science, The Bulletin of Symbolic Logic, vol.7, issue.2, pp.213-236, 2001. ,
Deontic logic in the representation of law: Towards a methodology, Artificial Intelligence and Law, vol.1, pp.45-64, 1992. ,
The rise and fall of the legal expert system, European Journal of Law and Technology, vol.1, p.1, 2010. ,
A language for legal discourse i. basic features, Proceedings of ICAIL, pp.180-189, 1989. ,
Mathematical problems from applied logic I, pp.317-343, 2006. ,
Formal systems for persuasion dialogue, The Knowledge Engineering Review, vol.21, issue.2, pp.163-188, 2006. ,
The role of logic in computational models of legal argument: a critical survey, Computational Logic: Logic Programming and Beyond, pp.175-188, 2002. ,
A companion to cognitive science, pp.722-733, 1999. ,
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. ,
The british nationality act as a logic program, Communications of the ACM, vol.29, pp.370-386, 1986. ,
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 ,
, , 2009.
Exploring logical dynamics, 1996. ,
Logical Dynamics of Information and Interaction, 2011. ,
, , 1998.