Search Results - "Knight, Sophia"

A Formal Model for Polarization under Confirmation Bias in Social Networks by Alvim, Mário S., Amorim, Bernardo, Knight, Sophia, Quintero, Santiago, Valencia, Frank

“…We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard family of polarization measures from economics. Agents evolve…”
Get full text

Announcement as effort on topological spaces by van Ditmarsch, Hans, Knight, Sophia, Özgün, Aybüke

“…We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space…”
Get full text

Toward a Formal Model of Social Networks and Polarization: Invited Presentation at the 12th Interaction and Concurrency Experience by Knight, Sophia

Get full text

Announcement as effort on topological spaces by van Ditmarsch, Hans, Knight, Sophia, Özgün, Aybüke

“…We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space…”
Get full text

Private Announcements on Topological Spaces by van Ditmarsch, Hans, Knight, Sophia, Özgün, Aybüke

“…In this work, we present a multi-agent logic of knowledge and change of knowledge interpreted on topological structures. Our dynamics are of the so-called…”
Get full text

Reasoning about distributed information with infinitely many agents by Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank

“…Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of…”
Get full text

Proceedings 11th Interaction and Concurrency Experience: Preface by Bartoletti, Massimo, Knight, Sophia, Bocchi, Laura, Henrio, Ludovic

Get full text

Proceedings 10th Interaction and Concurrency Experience: Preface by Bartoletti, Massimo, Bocchi, Laura, Henrio, Ludovic, Knight, Sophia

Get full text

Proceedings 9th Interaction and Concurrency Experience: Preface by Bartoletti, Massimo, Henrio, Ludovic, Knight, Sophia, Torres Vieira, Hugo

Get full text

Proceedings 8th Interaction and Concurrency Experience: Preface by Knight, Sophia, Lanese, Ivan, Lluch Lafuente, Alberto, Torres Vieira, Hugo

Get full text

Preface for the special issue on Interaction and Concurrency Experience 2015 by Lanese, Ivan, Lluch Lafuente, Alberto, Knight, Sophia, Vieira, Hugo Torres

Get full text

Dealing with imperfect information in Strategy Logic by Knight, Sophia, Maubert, Bastien

“…We propose an extension of Strategy Logic (SL), in which one can both reason about strategizing under imperfect information and about players' knowledge. One…”
Get full text

Opinion Update in a Subjective Logic Model for Social Networks by Alvim, Mário S, Knight, Sophia, Oliveira, José C

“…Subjective Logic (SL) is a logic incorporating uncertainty and opinions for agents in dynamic systems. In this work, we investigate the use of subjective logic…”
Get full text

Preface by Bartoletti, Massimo, Henrio, Ludovic, Knight, Sophia, Vieira, Hugo Torres, Silva, Alexandra, Arbach, Youssef, Karcher, David S., Peters, Kirstin, Nestmann, Uwe

Get full text

Proceedings 11th Interaction and Concurrency Experience by Bartoletti, Massimo, Knight, Sophia

“…EPTCS 279, 2018 This volume contains the proceedings of ICE'18, the 11th Interaction and Concurrency Experience, which was held in Madrid, Spain on the 20th…”
Get full text

Truth Set Algebra: A New Way to Prove Undefinability by Knight, Sophia, Naumov, Pavel, Shi, Qi, Suntharraj, Vigasan

“…The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several…”
Get full text

A Multi-Agent Model for Opinion Evolution under Cognitive Biases by Alvim, Mário S, da Silva, Artur Gaspar, Knight, Sophia, Valencia, Frank

“…We generalize the DeGroot model for opinion dynamics to better capture realistic social scenarios. We introduce a model where each agent has their own…”
Get full text

A Formal Model for Polarization under Confirmation Bias in Social Networks by Alvim, Mário S, Amorim, Bernardo, Knight, Sophia, Quintero, Santiago, Valencia, Frank

“…Logical Methods in Computer Science, Volume 19, Issue 1 (March 7, 2023) lmcs:8874 We describe a model for polarization in multi-agent systems based on Esteban…”
Get full text

Epistemic strategies and games on concurrent processes by Knight, Sophia

“…We develop a game semantics for process algebra with two independent, interacting agents. The purpose of the semantics is to make manifest the role of…”
Get full text

Human herpesviruses 6 and 7 as potential pathogens after liver transplant: Prospective comparison with the effect of cytomegalovirus by Griffiths, Paul D., Ait-Khaled, Mounir, Bearcroft, Charlotte P., Clark, Duncan A., Quaglia, Alberto, Davies, Susan E., Burroughs, Andrew K., Rolles, Keith, Kidd, I. Michael, Knight, Sophia N., Noibi, Shanita M., Cope, Alethea V., Phillips, Andrew N., Emery, Vincent C.

“…Because cytomegalovirus (CMV) is an important opportunistic infection after liver transplant, we conducted a prospective study to see if the same applied to…”
Get full text