© 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).
Publication Date
2020-01-01Proceedings
Rules and Reasoning. 4th International Joint Conference, RuleML+RR 2020. Oslo, Norway, June 29 – July 1, 2020. Proceedings.Editors
Gutiérrez-Basulto V
Kliegr T
Soylu A
Giese M
Roman DPublisher
SpringerPlace of publication
Cham, SwitzerlandSeries
Lecture Notes in Computer ScienceVolume
12173Pagination
9p. (p. 177-185)ISBN-13
9783030579760ISSN
0302-9743Name of conference
International Joint Conference on Rules and Reasoning (RuleML+RR)Location
Oslo, NorwayStarting Date
2020-06-29Finshing Date
2020-07-01Rights Statement
The 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.