Sophia R Knight

20092019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

  • 1 Similar Profiles
Semantics Engineering & Materials Science
Logic Mathematics
Asynchronous Systems Mathematics
Concurrent Mathematics
Model checking Engineering & Materials Science
Scheduler Mathematics
Set theory Engineering & Materials Science
Modality Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2009 2019

2 Citations (Scopus)

Announcement as effort on topological spaces

van Ditmarsch, H., Knight, S. & Özgün, A., Jul 15 2019, In : Synthese. 196, 7, p. 2927-2969 43 p.

Research output: Contribution to journalArticle

axiomatization
semantics
Logic
Modality
Axiomatization

Preface

Borda, A., Cimini, M., Cirstea, C., Dardha, O., Fowler, S., Jakši ć, S., Knight, S., Lanese, I., Lange, J., López, H. A., Melgratti, H., Mezzina, C. A., Murgia, M., Peters, K., Sammartino, M., Stachtiari, E., Tapia Tarifa, S. L., Vieira, H. T. & Pohjola, J. Å., Sep 12 2019, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 304

Research output: Contribution to journalEditorial

1 Citation (Scopus)

Reasoning about distributed knowledge of groups with infinitely many agents

Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
2 Citations (Scopus)

Reasoning about knowledge and messages in asynchronous multi-agent systems

Knight, S., Maubert, B. & Schwarzentruber, F., Jan 1 2019, In : Mathematical Structures in Computer Science. 29, 1, p. 127-168 42 p.

Research output: Contribution to journalArticle

Asynchronous Systems
Multi agent systems
Multi-agent Systems
Reasoning
Semantics

Toward a Formal Model for Group Polarization in Social Networks

Alvim, M. S., Knight, S. & Valencia, F., Jan 1 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer- Verlag, p. 419-441 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Formal Model
Social Networks
Polarization
Update
Proposition