activity
20132026
most citedRelaxing Exclusive Control in Boolean Games

7 citations · 25 across the 22 of their papers we have counts for

collaborators
Showing cs.AIShow all

12 papers · 1 filter

cs.AI2026

Binary Spiking Neural Networks as Causal Models

Aditya Kar, Emiliano Lorini, Timothée Masquelier

We provide a causal analysis of Binary Spiking Neural Networks (BSNNs) to explain their behavior. We formally define a BSNN and represent its spiking activity as a binary causal mo…

cs.AI2024

Responsibility in a Multi-Value Strategic Setting

Timothy Parker, Umberto Grandi, Emiliano Lorini

Responsibility is a key notion in multi-agent systems and in creating safe, reliable and ethical AI. However, most previous work on responsibility has only considered responsibilit…

cs.AI2024

Computational Grounding of Responsibility Attribution and Anticipation in LTLf

Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker +1

Responsibility is one of the key notions in machine ethics and in the area of autonomous systems. It is a multi-faceted notion involving counterfactual reasoning about actions and…

cs.AI2023★ 1 cited

Anticipating Responsibility in Multiagent Planning

Timothy Parker, Umberto Grandi, Emiliano Lorini

Responsibility anticipation is the process of determining if the actions of an individual agent may cause it to be responsible for a particular outcome. This can be used in a multi…

cs.AI2023

Base-based Model Checking for Multi-Agent Only Believing (long version)

Tiago de Lima, Emiliano Lorini, François Schwarzentruber

We present a novel semantics for the language of multi-agent only believing exploiting belief bases, and show how to use it for automatically checking formulas of this language and…

cs.AI2022★ 1 cited

Modelling and Explaining Legal Case-based Reasoners through Classifiers

Xinghan Liu, Emiliano Lorini, Antonino Rotolo +1

This paper brings together two lines of research: factor-based models of case-based reasoning (CBR) and the logical specification of classifiers. Logical approaches to classifiers…