Stefan Chircop, Gordon J. Pace, Gerardo Schneider. An Automata-Based Formalism for Normative Documents with Real-Time. In Enrico Francesconi, Georg Borges, Christoph Sorge, editors, Legal Knowledge and Information Systems - JURIX 2022: The Thirty-fifth Annual Conference, Saarbrücken, Germany, 14-16 December 2022. Volume 362 of Frontiers in Artificial Intelligence and Applications, pages 158-163, IOS Press, 2022. [doi]
Abstract is missing.