Social bot detection as a temporal logic model checking problem

DOI10.1007/978-3-030-88708-7_13OpenAlexW3203969056MaRDI QIDQ2148829

Mina Young Pedersen, Sonja Smets, Marija Slavkovik

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88708-7_13

zbMATH Keywords

model checkingtemporal logicbot detectionsocial network logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Logic of visibility in social networks

Uses Software

• SPIN
• NuSMV
• LTSmin

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Merging frameworks for interaction
• Reflecting on social influence in networks
• Past is for free: On the complexity of verifying linear temporal properties with past
• A logic for diffusion in social networks
• The complexity of propositional linear temporal logics
• Further Steps Towards a Logic of Polarization in Social Networks

This page was built for publication: Social bot detection as a temporal logic model checking problem