Programming contract amending
Loading...
License
Access Rights
Cadmus Permanent Link
Full-text via DOI
ISSN
0302-9743; 1611-3349
Issue Date
Type of Publication
Keyword(s)
LC Subject Heading
Other Topic(s)
EUI Research Cluster(s)
Initial version
Published version
Succeeding version
Preceding version
Published version part
Earlier different version
Initial format
Citation
Mayumi BONO, Yasufumi TAKAMA, Ken SATOH, Le-Minh NGUYEN and Setsuya KURAHASHI (eds), New frontiers in artificial intelligence, Cham : Springer, 2024, Lecture notes in computer science ; 14644, pp. 19-34
Cite
LANEVE, Cosimo, PARENTI, Alessandro, SARTOR, Giovanni, Programming contract amending, in Mayumi BONO, Yasufumi TAKAMA, Ken SATOH, Le-Minh NGUYEN and Setsuya KURAHASHI (eds), New frontiers in artificial intelligence, Cham : Springer, 2024, Lecture notes in computer science ; 14644, pp. 19-34 - https://hdl.handle.net/1814/78040
Abstract
Legal contracts can be generally amended either because real-world events require an adaptation of the contract to new circumstances or because new agreements between the parties take place. When legal contracts are defined by a programming language, amendments likely entail runtime modifications to the contract code. In this paper, we present a law-derived framework for amending contract codes that are written in Stipula, a programming language for legal contracts. The full language, called higher-order Stipula, is applied to modelling real-world examples of contract amendments, where modifications may add new clauses or may rewrite (part of) old ones. We also discuss the prototype implementation of the language and its graphical user interface.
Table of Contents
Additional Information
Published online: 04 June 2024