21 citations · 78 across the 18 of their papers we have counts for
4 papers · 1 filter
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…
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…
A Web-Based Tool for Analysing Normative Documents in English
John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
Our goal is to use formal methods to analyse normative documents written in English, such as privacy policies and service-level agreements. This requires the combination of a numbe…
Extracting Formal Models from Normative Texts
John J. Camilleri, Normunds Grūz\=ıtis, Gerardo Schneider
We are concerned with the analysis of normative texts - documents based on the deontic notions of obligation, permission, and prohibition. Our goal is to make queries about these n…