Logic of Visibility in Social Networks.
Rustam GalimullinMina Young PedersenMarija SlavkovikPublished in: WoLLIC (2022)
Keyphrases
- social networks
- logic programming
- social network analysis
- social media
- online social networks
- social networking
- complex networks
- sound and complete axiomatization
- classical logic
- databases
- digital circuits
- nonmonotonic logics
- information diffusion
- data sets
- link prediction
- heterogeneous networks
- automated reasoning
- community structure
- social relationships
- probabilistic logic
- logical framework
- network structure
- expressive power
- website
- formal theory
- deontic logic
- proof theory