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 | Size | Format | |
|---|---|---|---|---|
| gupea_2077_53815_1.pdf | Avhandling | 1414Kb | Adobe PDF |  View/Open |
| gupea_2077_53815_2.pdf | Spikblad | 44Kb | Adobe PDF | View/Open |
| gupea_2077_53815_3.pdf | Omslag | 1412Kb | Adobe 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 |