E-LIB Suche - Ergebnisse für: Knight, Sophia

1

A Multi-agent Model for Opinion Evolution in Social Network..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Alvim, Mário S. ; Gaspar da Silva, Artur ; Knight, Sophia. - p. 3-19 , 2024

2

A Formal Model for Polarization under Confirmation Bias in ..:

Alvim, Mário S. ; Amorim, Bernardo ; Knight, Sophia..
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

3

Reasoning about distributed information with infinitely man..:

Guzmán, Michell ; Knight, Sophia ; Quintero, Santiago...
Journal of Logical and Algebraic Methods in Programming. 121 (2021) - p. 100674 , 2021

Link: https://doi.org/10.1016/..

4

A Multi-agent Model for Polarization Under Confirmation Bia..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Alvim, Mário S. ; Amorim, Bernardo ; Knight, Sophia.. - p. 22-41 , 2021

Link: https://doi.org/10.1007/..

5

Preface for the special issue on Interaction and Concurrenc..:

Bartoletti, Massimo ; Bocchi, Laura ; Henrio, Ludovic.
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100488 , 2019

Link: https://doi.org/10.1016/..

6

Toward a Formal Model for Group Polarization in Social Netw..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

Alvim, Mário S. ; Knight, Sophia ; Valencia, Frank - p. 419-441 , 2019

Link: https://doi.org/10.1007/..

7

Announcement as effort on topological spaces:

van Ditmarsch, Hans ; Knight, Sophia ; Özgün, Aybüke
Synthese. 196 (2019) 7 - p. 2927-2969 , 2019

Link: https://www.jstor.org/st..

8

Private Announcements on Topological Spaces:

van Ditmarsch, Hans ; Knight, Sophia ; Özgün, Aybüke
Studia Logica: An International Journal for Symbolic Logic. 106 (2018) 3 - p. 481-513 , 2018

Link: https://www.jstor.org/st..

9

Preface for the special issue on Interaction and Concurrenc..:

Bartoletti, Massimo ; Henrio, Ludovic ; Knight, Sophia.
Journal of Logical and Algebraic Methods in Programming. 98 (2018) - p. 26 , 2018

Link: https://doi.org/10.1016/..

10

Preface for the special issue on Interaction and Concurrenc..:

Lanese, Ivan ; Lluch Lafuente, Alberto ; Knight, Sophia.
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 1 , 2017

Link: https://doi.org/10.1016/..

11

Announcement as effort on topological spaces:

van Ditmarsch, Hans ; Knight, Sophia ; Özgün, Aybüke
Synthese. 196 (2017) 7 - p. 2927-2969 , 2017

Link: https://doi.org/10.1007/..

12

Private Announcements on Topological Spaces:

van Ditmarsch, Hans ; Knight, Sophia ; Özgün, Aybüke
Studia Logica. 106 (2017) 3 - p. 481-513 , 2017

Link: https://doi.org/10.1007/..

13

Reasoning about knowledge and messages in asynchronous mult..:

KNIGHT, SOPHIA ; MAUBERT, BASTIEN ; SCHWARZENTRUBER, FRANÇOIS
Mathematical Structures in Computer Science. 29 (2017) 1 - p. 127-168 , 2017

Link: https://doi.org/10.1017/..

14

Epistemic Strategies and Games on Concurrent Processes:

Chatzikokolakis, Konstantinos ; Knight, Sophia ; Palamidessi, Catuscia.
ACM Transactions on Computational Logic (TOCL). 13 (2012) 4 - p. 1-35 , 2012

Link: https://dl.acm.org/doi/1..

15

Epistemic Strategies and Games on Concurrent Processes:

Chatzikokolakis, Konstantinos ; Knight, Sophia ; Palamidessi, Catuscia.
ACM Transactions on Computational Logic. 13 (2012) 4 - p. 1-35 , 2012

Link: https://doi.org/10.1145/..