13 citations · 27 across the 11 of their papers we have counts for
11 papers
An Epistemic Analysis of Random Coordinated Attack
Sophia Knight, David Lehnherr, Sergio Rajsbaum
The coordinated attack problem models the challenge of coordinating a joint action within a bounded time by communicating over unreliable links. It was the first distributed comput…
Truth Set Algebra: A New Way to Prove Undefinability
Sophia Knight, Pavel Naumov, Qi Shi +1
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtai…
A Formal 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 family of polarization measures from economics. Agents evolve by updating their beli…
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…
Proceedings 9th Interaction and Concurrency Experience
Massimo Bartoletti, Ludovic Henrio, Sophia Knight +1
This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite…
Announcement as effort on topological spaces
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space semantics. The arbitrary ann…