On the formal representation of the Australian spent conviction scheme

Guido Governatori, Pompeu Casanovas Romeu, Louis de Koker

Research output: Book chapter/Published conference paperConference paperpeer-review

5 Citations (Scopus)


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).

Original languageEnglish
Title of host publicationRules and Reasoning
Subtitle of host publication4th International Joint Conference, RuleML+RR 2020, Proceedings
EditorsVíctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Ahmet Soylu, Dumitru Roman, Martin Giese, Dumitru Roman
Place of PublicationCham, Switzerland
Number of pages9
ISBN (Electronic)9783030579777
ISBN (Print)9783030579760
Publication statusPublished - 2020
Event4th International Joint Conference on Rules and Reasoning 2020: RuleML+RR 2020 - Virtual, Oslo, Norway
Duration: 29 Jun 202001 Jul 2020
https://2020.declarativeai.net/schedule (Conference schedule)
https://2020.declarativeai.net/events/ruleml-rr (Conference website)

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12173 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th International Joint Conference on Rules and Reasoning 2020
Abbreviated titleExplainable algorithmic decision-making
OtherThe International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2020 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

The theme of the 2020 edition is: Explainable algorithmic decision-making
Internet address


Dive into the research topics of 'On the formal representation of the Australian spent conviction scheme'. Together they form a unique fingerprint.

Cite this