The TTC 2018 Social Media Case, by ATL and AOF.

Valentin Besnard Frédéric Jouault Théo Le Calvar Massimo Tisi

Published in: TTC@STAF (2018)

Keyphrases

social media
multi agent systems
temporal logic
social networks
model checking
data sets
neural network
information retrieval
knowledge base
special case
visual tracking
social networking