research
∙
07/11/2023
Stable Normative Explanations: From Argumentation to Deontic Logic
This paper examines how a notion of stable explanation developed elsewhe...
share
research
∙
09/23/2022
Deontic Meta-Rules
The use of meta-rules in logic, i.e., rules whose content includes other...
research
∙
09/09/2022
Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic
This paper presents an extension of Defeasible Deontic Logic to deal wit...
research
∙
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...
research
∙
05/19/2021
AI and Ethics – Operationalising Responsible AI
In the last few years, AI continues demonstrating its positive impact on...
research
∙
05/12/2021
Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants
Organisations model their processes using so-called business process mod...
research
∙
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...
research
∙
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...
research
∙
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 ...
research
∙
09/11/2018
Resource-driven Substructural Defeasible Logic
Linear Logic and Defeasible Logic have been adopted to formalise differe...
research
∙
08/01/2017
A Labelling Framework for Probabilistic Argumentation
The combination of argumentation and probability paves the way to new ac...
research
∙
12/13/2015
The Rationale behind the Concept of Goal
The paper proposes a fresh look at the concept of goal and advances that...
research
∙
04/07/2014
Thou Shalt is not You Will
In this paper we discuss some reasons why temporal logic might not be su...
research
∙
12/16/2013
Strategic Argumentation is NP-Complete
In this paper we study the complexity of strategic argumentation for dia...
research
∙
12/01/2012
Computing Strong and Weak Permissions in Defeasible Logic
In this paper we propose an extension of Defeasible Logic to represent a...
research
∙
03/10/2000