Search Results for author: Matteo Cristani

Found 6 papers, 1 papers with code

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.

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

no code implementations14 Aug 2019 Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani

Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions.

energy management Management

It could be worse, it could be raining: reliable automatic meteorological forecasting

no code implementations28 Jan 2019 Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi

Meteorological forecasting provides reliable prediction about the future weather within a given interval of time.

Resource-driven Substructural Defeasible Logic

no code implementations11 Sep 2018 Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo-Tosatto

Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions.

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.