2 citations · 2 across the 3 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CL2017
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…
cs.CL2017
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…