© 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).
ProceedingsRules and Reasoning. 4th International Joint Conference, RuleML+RR 2020. Oslo, Norway, June 29 – July 1, 2020. Proceedings.
Place of publicationCham, Switzerland
SeriesLecture Notes in Computer Science
Pagination9p. (p. 177-185)
Name of conferenceInternational Joint Conference on Rules and Reasoning (RuleML+RR)
Rights StatementThe Author reserves all moral rights over the deposited text and must be credited if any re-use occurs. Documents deposited in OPAL are the Open Access versions of outputs published elsewhere. Changes resulting from the publishing process may therefore not be reflected in this document. The final published version may be obtained via the publisher’s DOI. Please note that additional copyright and access restrictions may apply to the published version.