Page d'accueil // Recherche // FSTM // DCS // Projets de r... // Automated Reasoning with Legal Entities (AuReLeE)

Automated Reasoning with Legal Entities (AuReLeE)

Financement: Fonds National de la Recherche > CORE > Core Junior
Date de début: 1 mars 2021
Date de fin: 1 février 2023


The goal of the project Automated Reasoning with Legal Entities (AuReLeE) is to provide effective and general means for the automation of normative reasoning processes based on legal knowledge bases. To this end, the project will design and implement a dedicated system that combines efficient decision procedures with a flexible approach to import and re-use existing knowledge bases for their employment as underlying contexts for the normative reasoning tasks. The results of AuReLeE hence allow the full utilization of the existing legal knowledge bases’ potential for compliance checking.