Sophia Knight
Sophia Knight
Assistant Professor, University of Minnesota Duluth
Verified email at lix.polytechnique.fr
Title
Cited by
Cited by
Year
Spatial and epistemic modalities in constraint-based process calculi
S Knight, C Palamidessi, P Panangaden, FD Valencia
International Conference on Concurrency Theory, 317-332, 2012
532012
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
Synthese, 1-43, 2015
152015
Arbitrary announcements on topological subset spaces
H Van Ditmarsch, S Knight, A Özgün
European Conference on Multi-Agent Systems, 252-266, 2014
142014
Reasoning about knowledge and messages in asynchronous multi-agent systems
S Knight, B Maubert, F Schwarzentruber
Mathematical Structures in Computer Science 29 (1), 127-168, 2019
122019
Partial information and uniform strategies
H Van Ditmarsch, S Knight
International Workshop on Computational Logic and Multi-Agent Systems, 183-198, 2014
112014
Epistemic strategies and games on concurrent processes
K Chatzikokolakis, S Knight, P Panangaden
International Conference on Current Trends in Theory and Practice of …, 2009
92009
Reasoning about distributed knowledge of groups with infinitely many agents
M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, F Valencia
72019
Epistemic strategies and games on concurrent processes
K Chatzikokolakis, S Knight, C Palamidessi, P Panangaden
ACM Transactions on Computational Logic (TOCL) 13 (4), 1-35, 2012
72012
Dealing with imperfect information in strategy logic
S Knight, B Maubert
arXiv preprint arXiv:1908.02488, 2019
62019
K-stores A spatial and epistemic concurrent constraint interpreter
A Barco, S Knight, F Valencia
Proc. of WFLP 12, 2012
62012
Private announcements on topological spaces
H van Ditmarsch, S Knight, A Özgün
Studia Logica 106 (3), 481-513, 2018
52018
Announcement as effort on topological spaces
H Van Ditmarsch, S Knight, A Özgün
arXiv preprint arXiv:1606.07527, 2016
52016
Asynchronous announcements in a public channel
S Knight, B Maubert, F Schwarzentruber
International Colloquium on Theoretical Aspects of Computing, 272-289, 2015
52015
Bisimulation for markov decision processes through families of functional expressions
N Ferns, D Precup, S Knight
Horizons of the Mind. A Tribute to Prakash Panangaden, 319-342, 2014
52014
Combining epistemic logic and hennessy-milner logic
S Knight, R Mardare, P Panangaden
Logic and Program Semantics, 219-243, 2012
42012
The epistemic view of concurrency theory
S Knight
32013
Spatial Information Distribution in Constraint-based Process Calculi (Extended Version)
S Knight, C Palamidessi, P Panangaden, FD Valencia
Technical Report, INRIA, 2012
22012
Toward a Formal Model for Group Polarization in Social Networks
MS Alvim, S Knight, F Valencia
The Art of Modelling Computational Systems: A Journey from Logic and …, 2019
12019
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, F Valencia
arXiv preprint arXiv:2010.10667, 2020
2020
Preface for the special issue on Interaction and Concurrency Experience 2017
M Bartoletti, L Bocchi, L Henrio, S Knight
Journal of Logical and Algebraic Methods in Programming 109, 100488, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20