Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Programming Contract Amending
Laneve, Cosimo; PARENTI, Alessandro; Sartor, Giovanni
2024 • In Bono, Mayumi; Satoh, Ken (Eds.) New Frontiers in Artificial Intelligence - JSAI-isAI 2023 International Workshops, JURISIN, SCIDOCA, EmSemi and AI-Biz, Revised Selected Papers
[en] 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.
Disciplines :
Computer science Civil law
Author, co-author :
Laneve, Cosimo ; Department of Computer Science and Engineering, University of Bologna, Bologna, Italy
PARENTI, Alessandro ; University of Luxembourg ; Department of Legal Studies, University of Bologna, Bologna, Italy
Sartor, Giovanni ; Department of Legal Studies, University of Bologna, Bologna, Italy
External co-authors :
yes
Language :
English
Title :
Programming Contract Amending
Publication date :
04 June 2024
Event name :
Seventeenth International Workshop on Juris-informatics (JURISIN 2023)
Event place :
Kumamoto, Jpn
Event date :
04-06-2023 => 06-06-2023
Main work title :
New Frontiers in Artificial Intelligence - JSAI-isAI 2023 International Workshops, JURISIN, SCIDOCA, EmSemi and AI-Biz, Revised Selected Papers
Editor :
Bono, Mayumi
Satoh, Ken
Publisher :
Springer Science and Business Media Deutschland GmbH
Lexon language (2022). http://lexon.org/. Accessed 13 Apr 2023
Caldarelli, G.: Unilateral modification of long term contracts: American change of terms clauses and Italian Ius Variandi from a ‘relational’ point of view. Eur. Rev. Contract Law 17(1), 37–53 (2021)
Clack, C.D.: Languages for smart and computable contracts. CoRR abs/2104.03764 (2021). https://arxiv.org/abs/2104.03764
Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: foundations, design landscape and research directions. CoRR abs/1608.00771 (2016). http://arxiv.org/abs/1608.00771
Crafa, S., Laneve, C.: Programming legal contracts – a beginners guide to Stipula. In: Ahrendt, W., Beckert, B., Bubel, R., Johnsen, E.B. (eds.) The Logic of Software. A Tasting Menu of Formal Methods. LNCS, vol. 13360, pp. 129–146. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-08166-8_7
Idelberger, F.: The uncanny valley of computable contracts: analysis of computable contract formalisms with a focus towards controlled natural languages. Ph.D. thesis, European University Institute (2022)
Laneve, C., Parenti, A., Sartor, G.: Legal contracts amending with Stipula. In: Jongmans, S.S., Lopes, A. (eds.) COORDINATION 2023. LNCS, vol. 13908, pp. 253–270. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-35361-1_14
Mik, E.: Smart contracts: terminology, technical limitations and real world complexity. Law Innov. Technol. 9(2), 269–300 (2017)
Milosevic, Z., Gibson, S., Linington, P., Cole, J., Kulkarni, S.: On design and implementation of a contract monitoring facility. In: Proceedings of the First IEEE International Workshop on Electronic Contracting, pp. 62–70 (2004)
Palmer, V.V.: Excused performances: force majeure, impracticability, and frustration of contracts. Am. J. Comput. Law 70(Supplement_1), i70–i88 (2022)
Palmirani, M., Cervone, L., Vitali, F.: Intelligible contracts. In: 53rd Hawaii International Conference on System Sciences, pp. 1780–1789 (2020)
Pfeiffer, H.K.: The Diffusion of Electronic Data Interchange. Springer, Cham (2012). https://doi.org/10.1007/978-3-642-51559-0
