Resultados

Artículos 

• Jesús Aranda, Joan S. Betancourt, Juan Fco. Díaz, Frank Valencia. Fairness and Consensus in Opinion Models. To appear in CONCUR-2024.

• Joan S. Betancourt, Jesús Aranda, Juan Fco. Díaz, Frank Valencia. Fairness and Consensus in a Gossip Model of Social Networks (2024). arXiv.  

• Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia. A Multi-Agent Model for Opinion Evolution under Cognitive Biases (2024). arXiv. 

• Robert Freiman, Carlos Olarte, Elaine Pimentel y Christian G. Fermüller. Reasoning About Group Polarization: From Semantic Games to Sequent Systems. (Artículo y herramienta disponibles aqui). 

• Carlos Olarte, Carlos Ramírez, Camilo Rocha and Frank Valencia. Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic (2024). arXiv. Implementación en Maude disponible en Github.

• Carlos Olarte, Elaine Pimentel, Camilo Rocha: A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. J. Log. Algebraic Methods Program. 130: 100827 (2023)

• Bruno Xavier , Carlos Olarte and Elaine Pimentel: A linear logic framework for multimodal logics. Mathematical Structures in Computer Science (2023)

• 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)

Herramientas

1. Versión preliminar de una herramienta para comprar diferentes medidas de polarización y estudiar su comportamiento cuando la población se mueve entre las diferentes clases/categorías. Herramientas disponibles en línea: Google colab y GitHub. 

2. Herramienta para el cálculo de la medida de polarización de Esteban y Ray. Desarrollada en Geogebra y disponible en ĺinea aquí. 

3. Cuaderno Jupyter para el procesamiento de los datos del evento de particpación ciudadana de Agosto del 2023.