3 citations · 4 across the 4 of their papers we have counts for
4 papers
Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (1) the Pragmatic Oddity problem…
Proving Regulatory Compliance: Full Compliance Against an Expressive Unconditional Obligation is coNP-Complete
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
Organisations are required to show that their procedures and processes satisfy the relevant regulatory requirements. The computational complexity of proving regulatory compliance i…
Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time
Silvano Colombo Tosatto, Guido Governatori, Nick Van Beest
In this paper, we present a new methodology to evaluate whether a business process model is fully compliant with a regulatory framework composed of a set of conditional obligations…
Resource-driven Substructural Defeasible Logic
Francesco Olivieri, Guido Governatori, Matteo Cristani +2
Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framew…