Frank Valencia

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 28

Top Topics

Crossword Puzzles

Semantic Structures

Top Venues

Publications

Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
On the incompatibility of accuracy and equal opportunity. Mach. Learn. 113 (5) (2024)
Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. FORTE (2024)
Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. CoRR (2024)
Jesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia
Fairness and Consensus in an Asynchronous Opinion Model for Social Networks. CONCUR (2024)
Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. WRLA (2024)
Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
A Multi-Agent Model for Opinion Evolution under Cognitive Biases. CoRR (2024)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
A Formal Model for Polarization under Confirmation Bias in Social Networks. Log. Methods Comput. Sci. 19 (1) (2023)
Joan S. Betancourt, Jesús Aranda, Juan Fco. Díaz, Frank Valencia
Fairness and Consensus in a Gossip Model of Social Networks. CoRR (2023)
Santiago Quintero, Carlos Pinzón, Sergio Ramírez, Frank Valencia
On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge. CoRR (2022)
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Counting and Computing Join-Endomorphisms in Lattices (Revisited). CoRR (2022)
Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints. AAAI (2022)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
A Formal Model for Polarization under Confirmation Bias in Social Networks. CoRR (2021)
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. RAMiCS (2021)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks. CoRR (2021)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. FORTE (2021)
Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
On the impossibility of non-trivial accuracy under fairness constraints. CoRR (2021)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning about distributed information with infinitely many agents. J. Log. Algebraic Methods Program. 121 (2021)
Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Counting and Computing Join-Endomorphisms in Lattices. RAMiCS (2020)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. CoRR (2020)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs. CoRR (2020)
Frank Valencia
Semantic Structures for Spatially-Distributed Multi-Agent Systems. EXPRESS/SOS (2019)
Miguel Romero, Sergio Ramírez, Camilo Rocha, Frank Valencia
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. CoRR (2019)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. CONCUR (2019)
Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia
Make Puzzles Great Again. The Art of Modelling Computational Systems (2019)
Mário S. Alvim, Sophia Knight, Frank Valencia
Toward a Formal Model for Group Polarization in Social Networks. The Art of Modelling Computational Systems (2019)
Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. WRLA@ETAPS (2018)
Stefan Haar, Salim Perchy, Frank Valencia
Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach. Int. J. Semantic Comput. 11 (4) (2017)
Salim Perchy, Frank Valencia
Opinions and Beliefs as constraint system operators. ICLP (Technical Communications) (2015)
Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia
Reducing Weak to Strong Bisimilarity in CCP ICE (2012)
Carlos Olarte, Catuscia Palamidessi, Frank Valencia
Universal Timed Concurrent Constraint Programming. ICLP (2007)
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP (2007)
Camilo Rueda, Frank Valencia
Proving Musical Properties using a temporal Concurrent Constraint Calculus. ICMC (2002)