research
∙
07/31/2023
Anticipating Responsibility in Multiagent Planning
Responsibility anticipation is the process of determining if the actions...
share
research
∙
07/27/2023
Base-based Model Checking for Multi-Agent Only Believing (long version)
We present a novel semantics for the language of multi-agent only believ...
research
∙
10/20/2022
Modelling and Explaining Legal Case-based Reasoners through Classifiers
This paper brings together two lines of research: factor-based models of...
research
∙
10/13/2022
A Logic of "Black Box" Classifier Systems
Binary classifiers are traditionally studied by propositional logic (PL)...
research
∙
06/01/2022
Logic-Based Ethical Planning
In this paper we propose a framework for ethical decision making in the ...
research
∙
05/30/2021
A logic for binary classifiers and their explanation
Recent years have witnessed a renewed interest in Boolean function in ex...
research
∙
02/16/2021
A Qualitative Theory of Cognitive Attitudes and their Change
We present a general logical framework for reasoning about agents' cogni...
research
∙
03/23/2020
Modeling Contrary-to-Duty with CP-nets
In a ceteris-paribus semantics for deontic logic, a state of affairs whe...
research
∙
07/22/2019
Exploiting Belief Bases for Building Rich Epistemic Structures
We introduce a semantics for epistemic logic exploiting a belief base ab...
research
∙
12/17/2018
Rethinking Epistemic Logic with Belief Bases
We introduce a new semantics for a logic of explicit and implicit belief...
research
∙
07/27/2017
Relaxing Exclusive Control in Boolean Games
In the typical framework for boolean games (BG) each player can change t...
research
∙
02/06/2017
Exploring the bidimensional space: A dynamic logic point of view
We present a family of logics for reasoning about agents' positions and ...
research
∙
02/05/2016