ContracT - from Legal Contracts to Formal Specifications: Preliminary Results

[1]  Giancarlo Guizzardi,et al.  Service contract modeling in Enterprise Architecture: An ontology-based approach , 2019, Inf. Syst..

[2]  Daniel Amyot,et al.  Symboleo: Towards a Specification Language for Legal Contracts , 2020, 2020 IEEE 28th International Requirements Engineering Conference (RE).

[3]  John Mylopoulos,et al.  NómosT: Building large models of law with a tool-supported process , 2018, Data Knowl. Eng..

[4]  Mehrdad Sabetzadeh,et al.  Automated Extraction of Semantic Legal Metadata using Natural Language Processing , 2018, 2018 IEEE 26th International Requirements Engineering Conference (RE).

[5]  Xiwei Xu,et al.  On legal contracts, imperative and declarative smart contracts, and blockchain systems , 2018, Artificial Intelligence and Law.

[6]  Roberto Sebastiani,et al.  OptiMathSAT: A Tool for Optimization Modulo Theories , 2015, Journal of Automated Reasoning.

[7]  Giancarlo Guizzardi,et al.  From an Ontology of Service Contracts to Contract Modeling in Enterprise Architecture , 2017, 2017 IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC).

[8]  Ion Androutsopoulos,et al.  Extracting contract elements , 2017, ICAIL.

[9]  Christopher D. Clack,et al.  Smart Contract Templates: essential requirements and design options , 2016, ArXiv.

[10]  Luís Ferreira Pires,et al.  A commitment-based reference ontology for services , 2015, Inf. Syst..

[11]  John Mylopoulos,et al.  Social specifications of business processes with Azzurra , 2015, 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS).

[12]  John Mylopoulos,et al.  GaiusT: supporting the extraction of rights and obligations for regulatory compliance , 2013, Requirements Engineering.

[13]  Guido Governatori,et al.  A Formal Analysis of a Business Contract Language , 2006, Int. J. Cooperative Inf. Syst..

[14]  Andrew Stranieri,et al.  Knowledge Discovery from Legal Databases , 2005 .

[15]  Robert Alexy,et al.  A Theory of Constitutional Rights , 2002 .

[16]  Hinrich Schütze,et al.  Book Reviews: Foundations of Statistical Natural Language Processing , 1999, CL.

[17]  Časlav Pejović,et al.  Civil law and common law : Two different paths leading to the same goal , 2001 .