3 papers
cs.MA2022
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…
cs.MA2022
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…
cs.MA2020
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…