12 citations · 26 across the 13 of their papers we have counts for
5 papers · 1 filter
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…
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…
Semantic Structures for Spatially-Distributed Multi-Agent Systems
Frank Valencia
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, l…