Sophia Knight

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 21

Top Venues

CoRR

J. Log. Algebraic Methods Program.

FORTE

CLIMA

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. FORTE (2024)
Mário S. Alvim, Sophia Knight, José C. Oliveira
Opinion Update in a Subjective Logic Model for Social Networks. CoRR (2024)
Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
A Multi-Agent Model for Opinion Evolution under Cognitive Biases. CoRR (2024)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
A Formal Model for Polarization under Confirmation Bias in Social Networks. Log. Methods Comput. Sci. 19 (1) (2023)
Sophia Knight, Pavel Naumov
What are Your Powers? - Truth Set Algebras. CoRR (2022)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
A Formal Model for Polarization under Confirmation Bias in Social Networks. CoRR (2021)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks. CoRR (2021)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. FORTE (2021)
Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
Reasoning About Agents That May Know Other Agents' Strategies. IJCAI (2021)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning about distributed information with infinitely many agents. J. Log. Algebraic Methods Program. 121 (2021)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. CoRR (2020)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs. CoRR (2020)
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
Preface for the special issue on Interaction and Concurrency Experience 2017. J. Log. Algebraic Methods Program. 109 (2019)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. CONCUR (2019)
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
Announcement as effort on topological spaces. Synth. 196 (7) (2019)
Sophia Knight, Bastien Maubert
Dealing with imperfect information in Strategy Logic. CoRR (2019)
Sophia Knight, Bastien Maubert, François Schwarzentruber
Reasoning about knowledge and messages in asynchronous multi-agent systems. Math. Struct. Comput. Sci. 29 (1) (2019)
Mário S. Alvim, Sophia Knight, Frank Valencia
Toward a Formal Model for Group Polarization in Social Networks. The Art of Modelling Computational Systems (2019)
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2016. J. Log. Algebraic Methods Program. 98 (2018)
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
Private Announcements on Topological Spaces. Stud Logica 106 (3) (2018)
Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2015. J. Log. Algebraic Methods Program. 86 (1) (2017)
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
Announcement as effort on topological spaces. TARK (2015)
Sophia Knight, Bastien Maubert, François Schwarzentruber
Asynchronous Announcements in a Public Channel. ICTAC (2015)
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
Arbitrary Announcements on Topological Subset Spaces. EUMAS (2014)
Hans van Ditmarsch, Sophia Knight
Partial Information and Uniform Strategies. CLIMA (2014)
Norm Ferns, Doina Precup, Sophia Knight
Bisimulation for Markov Decision Processes through Families of Functional Expressions. Horizons of the Mind (2014)
Sophia Knight, Radu Mardare, Prakash Panangaden
Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics (2012)
Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden
Epistemic Strategies and Games on Concurrent Processes. ACM Trans. Comput. Log. 13 (4) (2012)
Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia
Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR (2012)
Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden
Epistemic Strategies and Games on Concurrent Processes. SOFSEM (2009)

Sophia Knight.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sophia Knight