Follow
Sophia Knight
Sophia Knight
Associate Professor, University of Minnesota Duluth
Verified email at d.umn.edu - 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
612012
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
242021
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
232019
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
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
202019
Arbitrary announcements on topological subset spaces
H van Ditmarsch, S Knight, A Özgün
European Conference on Multi-Agent Systems, 252-266, 2014
172014
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
132014
Dealing with imperfect information in strategy logic
S Knight, B Maubert
arXiv preprint arXiv:1908.02488, 2019
112019
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
A formal model for polarization under confirmation bias in social networks
MS Alvim, B Amorim, S Knight, S Quintero, F Valencia
Logical Methods in Computer Science 19, 2023
92023
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
Truth set algebra: A new way to prove undefinability
S Knight, P Naumov, Q Shi, V Suntharraj
arXiv preprint arXiv:2208.04422, 2022
62022
The epistemic view of concurrency theory
S Knight
Ecole Polytechnique X, 2013
62013
The system can't perform the operation now. Try again later.
Articles 1–20