Updated publications: dblp, Google Scholar

all pdfs coming soon

Journal Papers

• 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: 100674 (2021)

• Sophia Knight, Bastien Maubert, François Schwarzentruber: Reasoning about knowledge and messages in asynchronous multi-agent systems. Mathematical Structures in Computer Science 29(1): 127-168 (2019) [pdf]

• Hans van Ditmarsch, Sophia Knight, Aybüke Özgün: Announcement as effort on topological spaces. Synthese 196(7): 2927-2969 (2019) [pdf]

• Hans van Ditmarsch, Sophia Knight, Aybüke Özgün: Private Announcements on Topological Spaces. Studia Logica 106(3): 481-513 (2018) [pdf] 

• Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden: Epistemic Strategies and Games on Concurrent Processes. ACM Transactions on Computational Logic 13(4): 28:1-28:35 (2012) [pdf]

Conference and Workshop Papers

• 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: 22-41

• Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin: Reasoning About Agents That May Know Other Agents' Strategies. IJCAI 2021: 1787-1793 [pdf]

• 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: 419-441 [pdf]

• 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: 29:1-29:15

• Sophia Knight and Bastien Maubert: Dealing with Imperfect Information in Strategy Logic. SR 2015.

• Sophia Knight, Bastien Maubert, François Schwarzentruber: Asynchronous Announcements in a Public Channel. ICTAC 2015: 272-289

• Hans van Ditmarsch, Sophia Knight, Aybüke Özgün: Announcement as effort on topological spaces. TARK 2015: 283-297

• Norm Ferns, Doina Precup, Sophia Knight: Bisimulation for Markov Decision Processes through Families of Functional Expressions. Horizons of the Mind 2014: 319-342

• Hans van Ditmarsch, Sophia Knight: Partial Information and Uniform Strategies. CLIMA 2014: 183-198

• Hans van Ditmarsch, Sophia Knight, Aybüke Özgün: Arbitrary Announcements on Topological Subset Spaces. EUMAS 2014: 252-266

• Hans van Ditmarsch, Sophia Knight and Aybüke Özgün: Arbitrary Announcements on Topological Subset Spaces. ICLA 2014.

• Sophia Knight, Radu Mardare, Prakash Panangaden: Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics 2012: 219-243

• Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia: Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012: 317-332

• Andrés Barco, Sophia Knight and Frank Valencia: K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter. Proceedings of WFLP '12, 2012. [pdf]

• Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden: Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009: 153-166ggcf

Other Papers

• Sophia Knight, Pavel Naumov: What are Your Powers? - Truth Set Algebras. CoRR abs/2208.04422 (2022) [pdf]

• Sophia Knight, Bastien Maubert: Dealing with imperfect information in Strategy Logic. CoRR abs/1908.02488 (2019) [pdf]

Theses

• The Epistemic View of Concurrency Theory. PhD thesis, Defended 20 September, 2013.

• Epistemic Strategies and Games on Concurrent Processes. Masters thesis, 2008.