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