Resultados

Artículos 

• Carlos Olarte, Carlos Ramírez,Camilo Rocha, Frank Valencia. Unified opinion formation analysis in rewriting logic. Journal of Logical and Algebraic Methods in Programming, Volume 148, January (2026). 

• Juan José Viáfara, Robinson Andrey Duque,  Juan Francisco Díaz, Carlos Alberto Ramírez. Interaction and Popularity Based Metrics for Estimation of Interpersonal Influence on Social Media. To appear in Communications in Computer and Information Science (CCIS).

• Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia. The Spiral of Silence in Multi-Agent Models for Opinion Formation. ICTAC 2025 : International Colloquium on Theoretical Aspects of Computing. (2025)

• Renato Leme, Carlos Olarte, Elaine Pimentel & Marcelo Esteban Coniglio. The Modal Cube Revisited: Semantics Without Worlds. TABLEAUX. (2025)

• Fabio Gadducci, Carlos Olarte, Frank Valencia: A Constraint Opinion Model. COORDINATION 2025: 70-89. (2025). 

• Juan Francisco Díaz, Frank Valencia, Felipe Jaramillo Ruiz y Santiago Rubio. Midiendo la polarización en el concejo de Cali. Boletín Cali Visible, Vol 10 No 2. (2025).  

• Francisco Durán, Nicolás Pozas and Camilo Rocha. Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. Journal of Logical and Algebraic Methods in Programming (136). (2025).

• Francisco Durán, Carlos Ramírez, Camilo Rocha, Nicolás Pozas. A rewriting logic semantics for the analysis of  programs. Journal of Logical and Algebraic Methods in Programming (144). (2025). 

• Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, y Christian G. Fermüller: Playing with Modalities. CSL'25 (2025). 

• 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

1. Polarizometro,  disponible en https://polarizometro.lipn.univ-paris13.fr/v2/. 

2. 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. 

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

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

Trabajos de Grado

David Gaona Medina 2025/02/11 (Maestría)

Towards a Model of Opinion Evolution Considering the Spiral of Silence.