Seng Joe Watt, Oliver R. Goodenough, Meng Weng Wong. Deontics and Time in Contracts: An Executable Semantics for the L4 DSL. In Giovanni Sileno, Jerry Spanakis, Gijs van Dijck, editors, Legal Knowledge and Information Systems - JURIX 2023: The Thirty-sixth Annual Conference, Maastricht, The Netherlands, 18-20 December 2023. Volume 379 of Frontiers in Artificial Intelligence and Applications, pages 119-124, IOS Press, 2023. [doi]
Abstract is missing.