Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Silvano Colombo Tosatto"'
This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (i) the Pragmatic Oddity problem must be solved within a general logical treatment of contrary-to-duty
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::766719af21038d278445c8c084fb974a
http://arxiv.org/abs/2209.04553
http://arxiv.org/abs/2209.04553
Publikováno v:
Lecture Notes in Business Information Processing ISBN: 9783031161704
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a03cf1f71e623a29471e9a37d002263b
https://doi.org/10.1007/978-3-031-16171-1_11
https://doi.org/10.1007/978-3-031-16171-1_11
Publikováno v:
AI Approaches to the Complexity of Legal Systems XI-XII ISBN: 9783030898106
AICOL
AICOL
The present paper proposes a structural operational semantics and the related semantics for normative systems. The proposed approach focuses on explicitly representing in force obligations and violations as events in a temporal framework, determining
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac1d851dc7dae2c7273e3fe07a72687d
http://hdl.handle.net/11585/845530
http://hdl.handle.net/11585/845530
Publikováno v:
EDOC
In this paper, we propose a methodology to verify the regulatory compliance of a composition of multiple interacting business process models. The proposed solution is based on providing a compliance certification for the components of the composition
Autor:
Gabriela Ferraro, Francesco Olivieri, Silvano Colombo Tosatto, Guido Governatori, Ho-Pun Lam, Nick van Beest, Mohammad Badiul Islam
Publikováno v:
New Frontiers in Artificial Intelligence ISBN: 9783030587895
JSAI-isAI Workshops
JSAI-isAI Workshops
Extracting and formalising legal norms from legal documents is a time-consuming and complex procedure. Therefore, the automatic methods that can accelerate this process are in high demand. In this paper, we address two major questions related to this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29b169f3f154b6cc0919125e8ea2a4f5
https://doi.org/10.1007/978-3-030-58790-1_5
https://doi.org/10.1007/978-3-030-58790-1_5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030266189
BPM
BPM
Checking regulatory compliance of business processes prior to deployment is common practice and numerous approaches have been developed over the last decade. However, the computational complexity of the problem itself has never received any major att
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca587ca6f0fc32ac2a44c8afe3cfd0ab
https://doi.org/10.1007/978-3-030-26619-6_10
https://doi.org/10.1007/978-3-030-26619-6_10
Publikováno v:
IEEE Transactions on Services Computing, 8(6), 958-970. (2015).
Verifying whether a business process is compliant with a regulatory framework is a difficult task. In the present paper we prove the hardness of the business process regulatory compliance problem by taking into account a sub-problem of the general pr
Autor:
Francesco Olivieri, Matteo Cristani, Silvano Colombo-Tosatto, Guido Governatori, Nick van Beest
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030030971
PRIMA
PRIMA
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 framework to combine sub-structural features, corresponding to the consumpti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ff20cdaabe5856f36ec725462eac778
http://hdl.handle.net/11562/999872
http://hdl.handle.net/11562/999872
Autor:
Leendert van der Torre, Pierre Kelsen, Marwane El Kharbili, Silvano Colombo Tosatto, Qin Ma, Guido Governatori
Publikováno v:
Frontiers of Computer Science. 9:55-74
In general the problem of verifying whether a structured business process is compliant with a given set of regulations is NP-hard. The present paper focuses on identifying a tractable subset of this problem, namely verifying whether a structured busi
Publikováno v:
Deontic Logic and Normative Systems ISBN: 9783319086149
DEON
DEON
Regulations, through the use of obligations and permissions, are widely used in modern society to define acceptable behaviours. Thus it is indeed important that these regulations do not conflict with each other and contain contradicting obligations.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63c883dc2b7b0df7d72029848a00389a
https://doi.org/10.1007/978-3-319-08615-6_6
https://doi.org/10.1007/978-3-319-08615-6_6