1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2022★ 1 cited
DPCL: a Language Template for Normative Specifications
Giovanni Sileno, Thomas van Binsbergen, Matteo Pascucci +1
Several solutions for specifying normative artefacts (norms, contracts, policies) in a computational processable way have been presented in the literature. Legal core ontologies ha…
cs.AI2018
Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Tomer Libal, Matteo Pascucci
Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning. In th…