Now showing items 1-2 of 2
Analysing normative contracts - On the semantic gap between natural and formal languages
Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions ...
Contracts and Computation — Formal modelling and analysis for normative natural language
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 ...