Picture for Matteo Pascucci

Matteo Pascucci

DPCL: a Language Template for Normative Specifications

Add code
Jan 12, 2022
Viaarxiv icon

Automated Reasoning in Normative Detachment Structures with Ideal Conditions

Add code
Oct 23, 2018
Figure 1 for Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Figure 2 for Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Figure 3 for Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Viaarxiv icon