Sophia Knight

35 papers A* 1B 4C 4Journal 17Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Multi-Agent Model for Opinion Evolution under Cognitive Biases.
CoRR
Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
2024 C conf
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases.
FORTE
Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
2024 J jnl
Opinion Update in a Subjective Logic Model for Social Networks.
CoRR
Mário S. Alvim, Sophia Knight, José C. Oliveira
2023 J jnl
A Formal Model for Polarization under Confirmation Bias in Social Networks.
Log. Methods Comput. Sci.
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2022 J jnl
What are Your Powers? - Truth Set Algebras.
CoRR
Sophia Knight, Pavel Naumov
2021 J jnl
A Formal Model for Polarization under Confirmation Bias in Social Networks.
CoRR
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2021 J jnl
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks.
CoRR
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2021 C conf
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks.
FORTE
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2021 A* conf
Reasoning About Agents That May Know Other Agents' Strategies.
IJCAI
Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
2021 J jnl
Reasoning about distributed information with infinitely many agents.
J. Log. Algebraic Methods Program.
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2020 J jnl
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems.
CoRR
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2020 J jnl
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs.
CoRR
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2019 J jnl
Announcement as effort on topological spaces.
Synth.
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
2019 J jnl
Dealing with imperfect information in Strategy Logic.
CoRR
Sophia Knight, Bastien Maubert
2019 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2017.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
2019 B conf
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents.
CONCUR
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
2019 J jnl
Reasoning about knowledge and messages in asynchronous multi-agent systems.
Math. Struct. Comput. Sci.
Sophia Knight, Bastien Maubert, François Schwarzentruber
2019 — conf
Toward a Formal Model for Group Polarization in Social Networks.
The Art of Modelling Computational Systems
Mário S. Alvim, Sophia Knight, Frank Valencia
2018 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2016.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
2018 J jnl
Private Announcements on Topological Spaces.
Stud Logica
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
2018 — ed.
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018.
ICE
Massimo Bartoletti, Sophia Knight
2017 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2015.
J. Log. Algebraic Methods Program.
Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira
2017 — ed.
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017.
ICE@DisCoTec
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
2016 — ed.
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016.
ICE
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
2015 B conf
Announcement as effort on topological spaces.
TARK
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
2015 C conf
Asynchronous Announcements in a Public Channel.
ICTAC
Sophia Knight, Bastien Maubert, François Schwarzentruber
2015 — ed.
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015.
ICE
Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira
2014 C conf
Arbitrary Announcements on Topological Subset Spaces.
EUMAS
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
2014 — conf
Bisimulation for Markov Decision Processes through Families of Functional Expressions.
Horizons of the Mind
Norm Ferns, Doina Precup, Sophia Knight
2014 — conf
Partial Information and Uniform Strategies.
CLIMA
Hans van Ditmarsch, Sophia Knight
2013 — —
The Epistemic View of Concurrency Theory. (Le point de vue epistémique de théorie de la concurrence).
Sophia Knight
2012 — conf
Combining Epistemic Logic and Hennessy-Milner Logic.
Logic and Program Semantics
Sophia Knight, Radu Mardare, Prakash Panangaden
2012 J jnl
Epistemic Strategies and Games on Concurrent Processes.
ACM Trans. Comput. Log.
Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden
2012 B conf
Spatial and Epistemic Modalities in Constraint-Based Process Calculi.
CONCUR
Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia
2009 B conf
Epistemic Strategies and Games on Concurrent Processes.
SOFSEM
Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden