3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.DS2020★ 3 cited
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…
cs.AI2018
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…