Sophia Knight
Sophia Knight
Assistant Professor, University of Minnesota Duluth
Zweryfikowany adres z lix.polytechnique.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
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
172019
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
TARK, 283-297, 2015
16*2015
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
Synthese, 1-43, 2015
162015
Almost-Riemannian geometry on Lie groups
V Ayala, P Jouan
SIAM Journal on Control and Optimization 54 (5), 2919-2947, 2016
142016
Arbitrary announcements on topological subset spaces
H van Ditmarsch, S Knight, A Özgün
European Conference on Multi-Agent Systems, 252-266, 2014
142014
Partial information and uniform strategies
H Van Ditmarsch, S Knight
International Workshop on Computational Logic and Multi-Agent Systems, 183-198, 2014
122014
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
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
82019
Dealing with imperfect information in strategy logic
S Knight, B Maubert
arXiv preprint arXiv:1908.02488, 2019
72019
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
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
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
62014
K-stores A spatial and epistemic concurrent constraint interpreter
A Barco, S Knight, F Valencia
Proc. of WFLP 12, 2012
62012
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
Private announcements on topological spaces
H van Ditmarsch, S Knight, A Özgün
Studia Logica 106 (3), 481-513, 2018
42018
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
Ecole Polytechnique X, 2013
32013
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
22021
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20