13 citations · 14 across the 4 of their papers we have counts for
7 papers
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks
Mário S. Alvim, Bernardo Amorim, Sophia Knight +2
We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard measure of polarization from economics. Agents evolve by updating their beliefs (opi…
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs
Mário S. Alvim, Bernardo Amorim, Sophia Knight +2
We describe a model for polarization in multi-agent systems based on Esteban and Ray's classic measure of polarization from economics. Agents evolve by updating their beliefs (opin…
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Michell Guzmán, Sophia Knight, Santiago Quintero +3
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about t…
Dealing with imperfect information in Strategy Logic
Sophia Knight, Bastien Maubert
We propose an extension of Strategy Logic (SL), in which one can both reason about strategizing under imperfect information and about players' knowledge. One original aspect of our…
Proceedings 11th Interaction and Concurrency Experience
Massimo Bartoletti, Sophia Knight
This volume contains the proceedings of ICE'18, the 11th Interaction and Concurrency Experience, which was held in Madrid, Spain on the 20th and 21st of June 2018 as a satellite ev…
Proceedings 10th Interaction and Concurrency Experience
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio +1
This volume contains the proceedings of ICE 2017, the 10th Interaction and Concurrency Experience, which was held in Neuchâtel, Switzerland on the 21st and 22nd of June 2017 as a s…