research
∙
11/01/2022
Counting and Computing Join-Endomorphisms in Lattices (Revisited)
Structures involving a lattice and join-endomorphisms on it are ubiquito...
share
research
∙
10/14/2022
On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge
Let L be a finite lattice and ℰ(L) be the set of join endomorphisms of L...
research
∙
12/17/2021
A Formal Model for Polarization under Confirmation Bias in Social Networks
We describe a model for polarization in multi-agent systems based on Est...
research
∙
07/14/2021
On the impossibility of non-trivial accuracy under fairness constraints
One of the main concerns about fairness in machine learning (ML) is that...
research
∙
04/23/2021
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks
We describe a model for polarization in multi-agent systems based on Est...
research
∙
12/04/2020
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs
We describe a model for polarization in multi-agent systems based on Est...
research
∙
10/20/2020
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Spatial constraint systems (scs) are semantic structures for reasoning a...
research
∙
09/09/2019
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification
This paper addresses the issue of specifying, simulating, and verifying ...
research
∙
08/23/2019