Sophia Knight
Sophia Knight
Assistant Professor, University of Minnesota Duluth
Geverifieerd e-mailadres voor lix.polytechnique.fr
Titel
Geciteerd door
Geciteerd door
Jaar
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
462012
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
Synthese, 1-43, 2015
122015
Arbitrary announcements on topological subset spaces
H Van Ditmarsch, S Knight, A Özgün
European Conference on Multi-Agent Systems, 252-266, 2014
122014
Partial information and uniform strategies
H Van Ditmarsch, S Knight
International Workshop on Computational Logic and Multi-Agent Systems, 183-198, 2014
112014
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
92019
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
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
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
K-stores A spatial and epistemic concurrent constraint interpreter
A Barco, S Knight, F Valencia
Proc. of WFLP 12, 2012
52012
Reasoning about distributed knowledge of groups with infinitely many agents
M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, F Valencia
42019
Private announcements on topological spaces
H van Ditmarsch, S Knight, A Özgün
Studia Logica 106 (3), 481-513, 2018
42018
Announcement as effort on topological spaces
H Van Ditmarsch, S Knight, A Özgün
arXiv preprint arXiv:1606.07527, 2016
42016
Asynchronous announcements in a public channel
S Knight, B Maubert, F Schwarzentruber
International Colloquium on Theoretical Aspects of Computing, 272-289, 2015
42015
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
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
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
2019
Announcement as effort on topological spaces
A Özgün, S Knight, H Ditmarsch
2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20