This paper introduces a comprehensive logical framework to reason about threshold-driven
diffusion and threshold-driven link change in social networks. It considers both monotonic …

Social bots are computer programs that act like human users on social media platforms.
Social bot detection is a rapidly growing field dominated by machine learning approaches …

Numerous logics have been developed to reason either about threshold-induced opinion
diffusion in a network, or about similarity-driven network structure evolution, or about both. In …

The paper presents a ten-year history of social network logics in China. It tells the story of
how this new research area was started, how its research agenda was extended, and, in …

This paper is part of a series of proposals for using logic to analyse social networks. It
studies the intertwining of two forms of information dynamics: social influence, through which …

A number of frameworks to reason about diffusion in networks has been proposed, eg [1, 4].
Recently, threshold-based approaches have also been used to investigate similarity-driven …

Interactions between people are a defining feature of social life. Our actions tend to be
reactions to what others have done, while others again respond to our behavior. This never …

Games are a powerful paradigm for social interaction, but at the same time also good
models for analyzing crucial notions in logical reasoning and computation. They provide a …

This thesis is situated at the intersection of formal logic, social science, information science
and artificial intelligence research. It is devoted to the study of agents in multi-agent systems …

This thesis studies the effect of homophily on the development of social networks.
Homophily refers to the tendency of individuals to be socially connected to others that are …