File(s) under embargo
Reason: Copyright restrictions by publisher
until file(s) become available
On the formal representation of the Australian spent conviction scheme
conference contributionposted on 2021-04-12, 00:38 authored by Guido Governatori, Pompeu Casanovas RomeuPompeu Casanovas Romeu, Louis de KokerLouis de Koker
© 2020, Springer Nature Switzerland AG. We discuss how to use Defeasible Deontic Logic to provide a formal representation of the Commonwealth of Australia spent conviction schema (Part VII C of the Crimes Act (1914)). The formalisation is directly written and implemented in Turnip (a modern implementation of Defeasible Deontic Logic).