Sophia Knight

According to our database, Sophia Knight authored at least 26 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Multi-Agent Model for Opinion Evolution under Cognitive Biases.

Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia

CoRR, 2024

2023

A Formal Model for Polarization under Confirmation Bias in Social Networks.

Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia

Log. Methods Comput. Sci., 2023

2022

What are Your Powers? - Truth Set Algebras.

Sophia Knight, Pavel Naumov

CoRR, 2022

2021

Reasoning about distributed information with infinitely many agents.

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia

J. Log. Algebraic Methods Program., 2021

Reasoning About Agents That May Know Other Agents' Strategies.

Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks.

Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2020

Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs.

Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia

CoRR, 2020

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems.

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia

CoRR, 2020

2019

Announcement as effort on topological spaces.

Hans van Ditmarsch, Sophia Knight, Aybüke Özgün

Synth., 2019

Reasoning about knowledge and messages in asynchronous multi-agent systems.

Sophia Knight, Bastien Maubert, François Schwarzentruber

Math. Struct. Comput. Sci., 2019

Preface for the special issue on Interaction and Concurrency Experience 2017.

Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight

J. Log. Algebraic Methods Program., 2019

Dealing with imperfect information in Strategy Logic.

Sophia Knight, Bastien Maubert

CoRR, 2019

Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents.

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Toward a Formal Model for Group Polarization in Social Networks.

Mário S. Alvim, Sophia Knight, Frank Valencia

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Private Announcements on Topological Spaces.

Hans van Ditmarsch, Sophia Knight, Aybüke Özgün

Stud Logica, 2018

Preface for the special issue on Interaction and Concurrency Experience 2016.

Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2018

2017

Preface for the special issue on Interaction and Concurrency Experience 2015.

Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2017

2015

Asynchronous Announcements in a Public Channel.

Sophia Knight, Bastien Maubert, François Schwarzentruber

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Arbitrary Announcements on Topological Subset Spaces.

Hans van Ditmarsch, Sophia Knight, Aybüke Özgün

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Partial Information and Uniform Strategies.

Hans van Ditmarsch, Sophia Knight

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

Bisimulation for Markov Decision Processes through Families of Functional Expressions.

Norm Ferns, Doina Precup, Sophia Knight

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

The Epistemic View of Concurrency Theory. (Le point de vue epistémique de théorie de la concurrence).

Sophia Knight

PhD thesis, 2013

2012

Epistemic Strategies and Games on Concurrent Processes.

Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden

ACM Trans. Comput. Log., 2012

Spatial and Epistemic Modalities in Constraint-Based Process Calculi.

Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Combining Epistemic Logic and Hennessy-Milner Logic.

Sophia Knight, Radu Mardare, Prakash Panangaden

Proceedings of the Logic and Program Semantics, 2012

2009

Epistemic Strategies and Games on Concurrent Processes.

Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009