@inproceedings{fm2018,
  author    = {Ra{\'{u}}l Pardo and
               C{\'{e}}sar S{\'{a}}nchez and
               Gerardo Schneider},
  title     = {Timed Epistemic Knowledge Bases for Social Networks},
  booktitle = {Proceedings of the 22nd International Symposium on Formal Methods, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018.},
  pages     = {185--202},
  year      = {2018},
  series    = {Lecture Notes in Computer Science},
  volume    = {10951},
  doi       = {10.1007/978-3-319-95582-7\_11}
}