Please use this identifier to cite or link to this item:
/library/oar/handle/123456789/22368| Title: | Reasoning about partial contracts |
| Other Titles: | Legal knowledge and information systems : JURIX 2016 : the twenty-ninth annual conference |
| Authors: | Azzopardi, Shaun Gatt, Albert Pace, Gordon J. |
| Keywords: | Deontic logic Contracts Natural language processing (Computer science) |
| Issue Date: | 2016 |
| Publisher: | IOS Press BV |
| Citation: | Azzopardi, S., Gatt, A., & Pace, G. J. (2016). Reasoning about partial contracts. In F. Bex, & S. Villata (Eds.), Legal knowledge and information systems: JURIX 2016: the twenty-ninth annual conference (pp. 23-32). Amsterdam: IOS Press BV. |
| Abstract: | Natural language techniques have been employed in attempts to automatically translate legal texts, and specifically contracts, into formal models that allow automatic reasoning. However, such techniques suffer from incomplete coverage, typically resulting in parts of the text being left uninterpreted, and which, in turn, may result in the formal models failing to identify potential problems due to these unknown parts. In this paper we present a formal approach to deal with partiality, by syntactically and semantically permitting unknown subcontracts in an action-based deontic logic, with accompanying formal analysis techniques to enable reasoning under incomplete knowledge. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/22368 |
| Appears in Collections: | Scholarly Works - FacICTCS Scholarly Works - InsLin |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| jurix2016-contracts.pdf | 311.39 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.