3 papers
cs.SI2024
Consensus in Models for Opinion Dynamics with Generalized-Bias
Juan Paz, Camilo Rocha, Luis Tobòn +1
Interest is growing in social learning models where users share opinions and adjust their beliefs in response to others. This paper introduces generalized-bias opinion models, an e…
cs.LO2024
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
Carlos Olarte, Carlos Ramírez, Camilo Rocha +1
Social media platforms have played a key role in weaponizing the polarization of social, political, and democratic processes. This is, mainly, because they are a medium for opinion…
cs.LO2021
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
Carlos Olarte, Elaine Pimentel, Camilo Rocha
This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-elimination, and ident…