Resultados
Artículos
Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, y Christian G. Fermüller: Playing with Modalities. To appear in CSL'25.
Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia. The Sound of Silence in Social Networks, arXiv:2410.19685. (2024).
Jesús Aranda, Joan S. Betancourt, Juan Fco. Díaz, Frank Valencia. Fairness and Consensus in Opinion Models. To appear in CONCUR-2024.
Juan Paz, Camilo Rocha, Luis E. Tobón, Frank Valencia: Consensus in Models for Opinion Dynamics with Generalized-Bias. Accepted at 13th Conference on Complex Networks and their Application (2024).
Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk: Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. PPDP 2024: 10:1-10:14. (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.
Carlso A. Ramírez Restrepo, J. C. Jaramillo, J. A. Pérez. Session-based concurrency in Maude: Executable semantics and type checking. Journal of Logical and Algebraic Methods in Programming 133, 100872, (2023).
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
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.
Herramienta para el cálculo de la medida de polarización de Esteban y Ray. Desarrollada en Geogebra y disponible en ĺinea aquí.
Cuaderno Jupyter para el procesamiento de los datos del evento de particpación ciudadana de Agosto del 2023.