Many-Valued Modal Logic and Regular Equivalences in Weighted Social Networks.
Tuan-Fang FanChurn-Jung LiauPublished in: ECSQARU (2013)
Keyphrases
- modal logic
- social networks
- temporal logic
- inference rules
- epistemic logic
- nonmonotonic logics
- social network analysis
- conditional logic
- classical logic
- connected components
- social media
- social networking
- situation calculus
- dynamic logic
- relational algebra
- complex networks
- model checking
- link prediction
- community detection
- default logic
- integrity constraints
- relational databases
- database systems