Search Results for author: Antonino Rotolo

Found 9 papers, 1 papers with code

Stable Normative Explanations: From Argumentation to Deontic Logic

no code implementations11 Jul 2023 Cecilia Di Florio, Guido Governatori, Antonino Rotolo, Giovanni Sartor

This paper examines how a notion of stable explanation developed elsewhere in Defeasible Logic can be expressed in the context of formal argumentation.

Modelling and Explaining Legal Case-based Reasoners through Classifiers

no code implementations20 Oct 2022 Xinghan Liu, Emiliano Lorini, Antonino Rotolo, Giovanni Sartor

In this paper we combine the modal logic approach (binary-input classifier, BLC) to classifiers and their explanations given by Liu & Lorini (2021) with Horty's account of factor-based CBR, since both a classifier and CBR map sets of features to decisions or classifications.

Deontic Meta-Rules

no code implementations23 Sep 2022 Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar

First, we introduce and formalise two variants of Defeasible Deontic Logic with Meta-Rules to represent (1) defeasible meta-theories with deontic modalities, and (2) two different types of conflicts among rules: Simple Conflict Defeasible Deontic Logic, and Cautious Conflict Defeasible Deontic Logic.

Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

no code implementations9 Sep 2022 Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo

This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem.

Is Free Choice Permission Admissible in Classical Deontic Logic?

no code implementations19 May 2019 Guido Governatori, Antonino Rotolo

In this paper, we explore how, and if, free choice permission (FCP) can be accepted when we consider deontic conflicts between certain types of permissions and obligations.

Dealing with Qualitative and Quantitative Features in Legal Domains

no code implementations5 Mar 2019 Maximiliano C. D. Budán, María Laura Cobo, Diego I. Martínez, Antonino Rotolo

In this work, we enrich a formalism for argumentation by including a formal characterization of features related to the knowledge, in order to capture proper reasoning in legal domains.

A Labelling Framework for Probabilistic Argumentation

no code implementations1 Aug 2017 Regis Riveret, Pietro Baroni, Yang Gao, Guido Governatori, Antonino Rotolo, Giovanni Sartor

The combination of argumentation and probability paves the way to new accounts of qualitative and quantitative uncertainty, thereby offering new theoretical and applicative opportunities.

Abstract Argumentation

The Rationale behind the Concept of Goal

1 code implementation13 Dec 2015 Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani

The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome.

Strategic Argumentation is NP-Complete

no code implementations16 Dec 2013 Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani

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

Cannot find the paper you are looking for? You can Submit a new open access paper.