12 citations · 26 across the 13 of their papers we have counts for
13 papers
Counting and Computing Join-Endomorphisms in Lattices (Revisited)
Carlos Pinzón, Santiago Quintero, Sergio Ramírez +2
Structures involving a lattice and join-endomorphisms on it are ubiquitous in computer science. We study the cardinality of the set of all join-endomorphisms of a…
On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge
Santiago Quintero, Carlos Pinzón, Sergio Ramírez +1
Let be a finite lattice and be the set of join endomorphisms of . We consider the problem of given and , finding the greatest lo…
On the impossibility of non-trivial accuracy under fairness constraints
Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida +1
One of the main concerns about fairness in machine learning (ML) is that, in order to achieve it, one may have to trade off some accuracy. To overcome this issue, Hardt et al. prop…
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks
Mário S. Alvim, Bernardo Amorim, Sophia Knight +2
We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard measure of polarization from economics. Agents evolve by updating their beliefs (opi…
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs
Mário S. Alvim, Bernardo Amorim, Sophia Knight +2
We describe a model for polarization in multi-agent systems based on Esteban and Ray's classic measure of polarization from economics. Agents evolve by updating their beliefs (opin…
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Michell Guzmán, Sophia Knight, Santiago Quintero +3
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about t…