21 citations · 78 across the 18 of their papers we have counts for
5 papers · 1 filter
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…
Extracting Formal Models from Normative Texts
John J. Camilleri, Normunds Gruzitis, Gerardo Schneider
Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is to model such texts using the C-O Diagram formalism, making them…
A CNL for Contract-Oriented Diagrams
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
We present a first step towards a framework for defining and manipulating normative documents or contracts described as Contract-Oriented (C-O) Diagrams. These diagrams provide a v…
From Contracts in Structured English to CL Specifications
Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider
In this paper we present a framework to analyze conflicts of contracts written in structured English. A contract that has manually been rewritten in a structured English is automat…