Guido Governatori | DeepAI

DeepAI AI Chat

Featured Co-authors

Qinghua Lu
56 publications
Yang Gao
52 publications
Liming Zhu
49 publications
Xiwei Xu
46 publications
Jon Whittle
28 publications
Abdul Sattar
13 publications
Antonino Rotolo
10 publications
Giovanni Sartor
8 publications
Matteo Cristani
8 publications
Pietro Baroni
7 publications
Francesco Olivieri
6 publications

∙ 07/11/2023

Stable Normative Explanations: From Argumentation to Deontic Logic

This paper examines how a notion of stable explanation developed elsewhe...

0 Cecilia Di Florio, et al. ∙

∙ 09/23/2022

Deontic Meta-Rules

The use of meta-rules in logic, i.e., rules whose content includes other...

0 Francesco Olivieri, et al. ∙

∙ 09/09/2022

Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

This paper presents an extension of Defeasible Deontic Logic to deal wit...

0 Guido Governatori, et al. ∙

∙ 10/14/2021

Semi-automated checking for regulatory compliance in e-Health

One of the main issues of every business process is to be compliant with...

0 Ilaria Angela Amantea, et al. ∙

∙ 05/19/2021

AI and Ethics – Operationalising Responsible AI

In the last few years, AI continues demonstrating its positive impact on...

0 Liming Zhu, et al. ∙

∙ 05/12/2021

Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants

Organisations model their processes using so-called business process mod...

0 Silvano Colombo-Tosatto, et al. ∙

∙ 01/28/2020

Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time

In this paper, we present a new methodology to evaluate whether a busine...

0 Silvano Colombo-Tosatto, et al. ∙

∙ 08/14/2019

Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

Linear Logic and Defeasible Logic have been adopted to formalise differe...

0 Francesco Olivieri, et al. ∙

∙ 05/19/2019

Is Free Choice Permission Admissible in Classical Deontic Logic?

In this paper, we explore how, and if, free choice permission (FCP) can ...

0 Guido Governatori, et al. ∙

∙ 09/11/2018

Resource-driven Substructural Defeasible Logic

Linear Logic and Defeasible Logic have been adopted to formalise differe...

0 Francesco Olivieri, et al. ∙

∙ 08/01/2017

A Labelling Framework for Probabilistic Argumentation

The combination of argumentation and probability paves the way to new ac...

0 Regis Riveret, et al. ∙

∙ 12/13/2015

The Rationale behind the Concept of Goal

The paper proposes a fresh look at the concept of goal and advances that...

0 Guido Governatori, et al. ∙

∙ 04/07/2014

Thou Shalt is not You Will

In this paper we discuss some reasons why temporal logic might not be su...

0 Guido Governatori, et al. ∙

∙ 12/16/2013

Strategic Argumentation is NP-Complete

In this paper we study the complexity of strategic argumentation for dia...

0 Guido Governatori, et al. ∙

∙ 12/01/2012

Computing Strong and Weak Permissions in Defeasible Logic

In this paper we propose an extension of Defeasible Logic to represent a...

0 Guido Governatori, et al. ∙

∙ 03/10/2000

A tableau methodology for deontic conditional logics

In this paper we present a theorem proving methodology for a restricted ...

0 Alberto Artosi, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world