Timed epistemic knowledge bases for social networks

DOI10.1007/978-3-319-95582-7_11zbMath1460.68101arXiv1708.04070OpenAlexW2809525751MaRDI QIDQ2024346

César Sánchez, Raúl Pardo, Gerardo Schneider

Publication date: 4 May 2021

Full work available at URL: https://arxiv.org/abs/1708.04070

Mathematics Subject Classification ID

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

Related Items (2)

A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Timed epistemic knowledge bases for social networks

Cites Work

• Unnamed Item
• Partitioned storage for temporal databases
• Towards a logic of tweeting
• Timed epistemic knowledge bases for social networks
• Formalising privacy policies in social networks
• Agent-Time Epistemics and Coordination
• Complex Networks
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE

This page was built for publication: Timed epistemic knowledge bases for social networks