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.LOShow all

6 papers · 1 filter

cs.LO2025★ 1 cited

Graded Distributed Belief

Emiliano Lorini, Dmitry Rozplokhas

We introduce a new logic of graded distributed belief that allows us to express the fact that a group of agents distributively believe that a certain fact holds with at least stren…

cs.LO2025

A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals

Carlos Aguilera-Ventura, Xinghan Liu, Emiliano Lorini +1

We present a computationally grounded semantics for counterfactual conditionals in which i) the state in a model is decomposed into two elements: a propositional valuation and a ca…

cs.LO2025

Rational Capability in Concurrent Games

Yinfeng Li, Emiliano Lorini, Munyque Mittelmann

We extend concurrent game structures (CGSs) with a simple notion of preference over computations and define a minimal notion of rationality for agents based on the concept of domin…

cs.LO2024

A Computationally Grounded Framework for Cognitive Attitudes (extended version)

Tiago de Lima, Emiliano Lorini, Elise Perrotin +1

We introduce a novel language for reasoning about agents' cognitive attitudes of both epistemic and motivational type. We interpret it by means of a computationally grounded semant…

cs.LO2022

A Logic of "Black Box" Classifier Systems

Xinghan Liu, Emiliano Lorini

Binary classifiers are traditionally studied by propositional logic (PL). PL can only represent them as white boxes, under the assumption that the underlying Boolean function is fu…

cs.LO2021★ 4 cited

A unified logical framework for explanations in classifier systems

Xinghan Liu, Emiliano Lorini

Recent years have witnessed a renewed interest in Boolean function in explaining binary classifiers in the field of explainable AI (XAI). The standard approach of Boolean function…