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

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..

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

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/..

7

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..

8

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/..

9

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/..

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

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/..

12

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..

13

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/..

14

Human herpesviruses 6 and 7 as potential pathogens after li..:

Griffiths, Paul D. ; Ait-Khaled, Mounir ; Bearcroft, Charlotte P....
Journal of Medical Virology. 59 (1999) 4 - p. 496-501 , 1999

Link: https://doi.org/10.1002/..

15

Truth set algebra: a new way to prove undefinability:

Knight, Sophia ; Naumov, Pavel ; Shi, Qi.
https://eprints.soton.ac.uk/483759/1/2208.04422v2.pdf. , 2022

Link: https://eprints.soton.ac..