2 papers
cs.LO2025
A Constraint Opinion Model
Fabio Gadducci, Carlos Olarte, Frank Valencia
This paper introduces a generalised opinion model that extends the standard DeGroot model by representing agents' opinions and influences as soft constraints rather than single rea…
cs.LO2025
EGGs are adhesive!
Roberto Biondo, Davide Castelnovo, Fabio Gadducci
The use of rewriting-based visual formalisms is on the rise. In the formal methods community, this is due also to the introduction of adhesive categories, where most properties of…