Követés
Sophia Knight
Sophia Knight
Associate Professor, University of Minnesota Duluth
E-mail megerősítve itt: d.umn.edu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
602012
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
242019
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
TARK, 283-297, 2015
24*2015
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
Synthese, 1-43, 2015
242015
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
232021
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
192019
Arbitrary announcements on topological subset spaces
H van Ditmarsch, S Knight, A Özgün
European Conference on Multi-Agent Systems, 252-266, 2014
192014
Partial information and uniform strategies
H Van Ditmarsch, S Knight
International Workshop on Computational Logic and Multi-Agent Systems, 183-198, 2014
142014
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
132019
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
The epistemic view of concurrency theory
S Knight
Ecole Polytechnique X, 2013
92013
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
82023
Announcement as effort on topological spaces
H Van Ditmarsch, S Knight, A Özgün
arXiv preprint arXiv:1606.07527, 2016
82016
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
82009
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20