File(s) under embargo
Reason: Copyright restrictions by publisher
10
month(s)15
day(s)until file(s) become available
On the formal representation of the Australian spent conviction scheme
conference contribution
posted on 12.04.2021, 00:38 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).