GUPEA >
IT Faculty / IT-fakulteten >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik >

Contracts and Computation — Formal modelling and analysis for normative natural language


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/53815

Files in This Item:

File Description SizeFormat
gupea_2077_53815_1.pdfAvhandling1414KbAdobe PDF
View/Open
gupea_2077_53815_2.pdfSpikblad44KbAdobe PDF
View/Open
gupea_2077_53815_3.pdfOmslag1412KbAdobe PDF
View/Open
Title: Contracts and Computation — Formal modelling and analysis for normative natural language
Authors: Camilleri, John J.
E-mail: john.j.camilleri@cse.gu.se
Issue Date: 11-Oct-2017
University: Göteborgs universitet. IT-fakulteten
Institution: Department of Computer Science and Engineering ; Institutionen för data- och informationsteknik
Parts of work: I. John J. Camilleri and Gerardo Schneider. “Modelling and Analysis of Normative Documents”. In: Logical and Algebraic Methods in Programming 91 (2017), pp. 33–59.
VIEW ARTICLE


II. Runa Gulliksson and John J. Camilleri. “A Domain-Specific Language for Normative Texts with Timing Constraints”. In: International Symposium on Temporal Representation and Reasoning (TIME 2016). IEEE, 2016, pp. 60–69.
VIEW ARTICLE


III. Krasimir Angelov, John J. Camilleri, and Gerardo Schneider. “A Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language”. In: Logic and Algebraic Programming 82.5-7 (2013), pp. 216–240.
VIEW ARTICLE


IV. John J. Camilleri, Gabriele Paganelli, and Gerardo Schneider. “A CNL for Contract-Oriented Diagrams”. In: International Workshop on Controlled Natural Language (CNL 2014). Vol. 8625. Lecture Notes in Computer Science. Springer, 2014, pp. 135–146.
VIEW ARTICLE


V. John J. Camilleri, Normunds Grūzītis, and Gerardo Schneider. “Extracting Formal Models from Normative Texts”. In: International Conference on Applications of Natural Language to Information Systems (NLDB 2016). Vol. 9612. Lecture Notes in Computer Science. Springer, 2016, pp. 403–408.
VIEW ARTICLE


VI. John J. Camilleri, Mohammad Reza Haghshenas, and Gerardo Schneider. “A Web-Based Tool for Analysing Normative Documents in English”. 2017. arXiv: 1707.03997 [cs.CL] https://arxiv.org/abs/1707.03997
Date of Defence: 2017-11-01
Disputation: Onsdagen den 1 november 2017, kl. 10.00, HC3, Hörsalsvägen 14
Degree: Doctor of Philosophy
Publication type: Doctoral thesis
Series/Report no.: 145D
Keywords: normative texts
contract analysis
controlled natural language
model checking
Abstract: Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like these dictate the permissions, obligations, and prohibitions of two or more parties entering into an agreement, including the penalties which must be paid when someone breaks the rules. Such documents are often lengthy and hard to understand, and most people tend to agree to th... more
ISBN: 978-91-982237-4-3
URI: http://hdl.handle.net/2077/53815
Appears in Collections:Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet
Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik

 

 

© Göteborgs universitet 2011