scientific article; zbMATH DE number 7445170

MaRDI QIDQ3384175zbMATH OpenFDO

Authors Raúl Pardo, Gerardo Schneider

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1709.02105, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.17

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Knowledge representation (68T30) Social networks; opinion dynamics (91D30)

Recommendations

• Social networks. Modelling and analysis
• Models of online social networks
• First-Order Model-Checking in Random Graphs and Complex Networks
• Network models for social influence processes
• Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems
• scientific article; zbMATH DE number 1975289

Cites work

• A logic for diffusion in social networks
• Complex networks. An algorithmic perspective
• Computer Aided Verification
• Formalising privacy policies in social networks
• scientific article; zbMATH DE number 6389581 (Why is no real title available?)
• scientific article; zbMATH DE number 7445170 (Why is no real title available?)
• scientific article; zbMATH DE number 5734950 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)

Cited in

(6)

• Timed epistemic knowledge bases for social networks
• Social bot detection as a temporal logic model checking problem
• Formalising privacy policies in social networks
• scientific article; zbMATH DE number 7445170 (Why is no real title available?)
• A policy-aware epistemic framework for social networks
• First-Order Model-Checking in Random Graphs and Complex Networks

Describes a project that uses

Uses Software

• MCMAS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384175)