21 citations · 78 across the 18 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 9 cited
Model Checking Social Network Models
Raúl Pardo, Gerardo Schneider
A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the…
cs.LO2017★ 1 cited
Timed Epistemic Knowledge Bases for Social Networks (Extended Version)
Raúl Pardo, César Sánchez, Gerardo Schneider
We present an epistemic logic equipped with time-stamps in the atoms and epistemic operators, which allows to reason not only about information available to the different agents, b…