research
∙
10/15/2019
The NAI Suite – Drafting and Reasoning over Legal Texts
A prototype for automated reasoning over legal texts, called NAI, is pre...
share
research
∙
10/24/2018
A general proof certification framework for modal logic
One of the main issues in proof certification is that different theorem ...
research
∙
10/23/2018
Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Systems of deontic logic suffer either from being too expressive and the...
research
∙
12/05/2017