Follow
Sophia Knight
Sophia Knight
Assistant Professor, University of Minnesota Duluth
Verified email at lix.polytechnique.fr - Homepage
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
572012
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
222019
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
TARK, 283-297, 2015
22*2015
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
Synthese, 1-43, 2015
222015
Arbitrary announcements on topological subset spaces
H van Ditmarsch, S Knight, A Özgün
European Conference on Multi-Agent Systems, 252-266, 2014
172014
A multi-agent model for polarization under confirmation bias in social networks
MS Alvim, B Amorim, S Knight, S Quintero, F Valencia
International Conference on Formal Techniques for Distributed Objects …, 2021
142021
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
142019
Reasoning about distributed knowledge of groups with infinitely many agents
M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, FD Valencia
CONCUR 2019-30th International Conference on Concurrency Theory 29, 1-29, 2019
142019
Partial information and uniform strategies
H Van Ditmarsch, S Knight
International Workshop on Computational Logic and Multi-Agent Systems, 183-198, 2014
132014
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: Essays Dedicated to …, 2014
122014
Reasoning About Agents That May Know Other Agents' Strategies.
F Belardinelli, S Knight, A Lomuscio, B Maubert, A Murano, S Rubin
IJCAI, 1787-1793, 2021
102021
Dealing with imperfect information in strategy logic
S Knight, B Maubert
arXiv preprint arXiv:1908.02488, 2019
102019
Epistemic strategies and games on concurrent processes
K Chatzikokolakis, S Knight, P Panangaden
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on …, 2009
92009
Announcement as effort on topological spaces
H Van Ditmarsch, S Knight, A Özgün
arXiv preprint arXiv:1606.07527, 2016
72016
Asynchronous announcements in a public channel
S Knight, B Maubert, F Schwarzentruber
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
72015
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
K-stores A spatial and epistemic concurrent constraint interpreter
A Barco, S Knight, F Valencia
Proc. of WFLP 12, 2012
72012
Private announcements on topological spaces
H van Ditmarsch, S Knight, A Özgün
Studia Logica 106 (3), 481-513, 2018
52018
Combining epistemic logic and hennessy-milner logic
S Knight, R Mardare, P Panangaden
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the …, 2012
52012
Truth set algebra: A new way to prove undefinability
S Knight, P Naumov, Q Shi, V Suntharraj
arXiv preprint arXiv:2208.04422, 2022
42022
The system can't perform the operation now. Try again later.
Articles 1–20