On the formal representation of the Australian spent conviction scheme

Guido Governatori; Pompeu Casanovas Romeu; Louis de Koker

doi:10.1007/978-3-030-57977-7_14

On the formal representation of the Australian spent conviction scheme

Guido Governatori, Pompeu Casanovas Romeu, Louis de Koker

Artificial Intelligence and Cyber Futures Institute

Research output: Book chapter/Published conference paper › Conference paper › peer-review

7 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Rules and Reasoning
Subtitle of host publication	4th International Joint Conference, RuleML+RR 2020, Proceedings
Editors	Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Ahmet Soylu, Dumitru Roman, Martin Giese, Dumitru Roman
Place of Publication	Cham, Switzerland
Publisher	Springer
Pages	177-185
Number of pages	9
ISBN (Electronic)	9783030579777
ISBN (Print)	9783030579760
DOIs	https://doi.org/10.1007/978-3-030-57977-7_14
Publication status	Published - 2020
Event	4th International Joint Conference on Rules and Reasoning 2020: RuleML+RR 2020 - Virtual, Oslo, Norway Duration: 29 Jun 2020 → 01 Jul 2020 https://2020.declarativeai.net/schedule (Conference schedule) https://2020.declarativeai.net/events/ruleml-rr (Conference website)

Publication series

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

Conference

Conference	4th International Joint Conference on Rules and Reasoning 2020
Abbreviated title	Explainable algorithmic decision-making
Country/Territory	Norway
City	Oslo
Period	29/06/20 → 01/07/20
Other	The 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	https://2020.declarativeai.net/schedule (Conference schedule) https://2020.declarativeai.net/events/ruleml-rr (Conference website)

Access to Document

10.1007/978-3-030-57977-7_14

Cite this

Governatori, G., Romeu, P. C., & de Koker, L. (2020). On the formal representation of the Australian spent conviction scheme. In V. Gutiérrez-Basulto, T. Kliegr, A. Soylu, A. Soylu, D. Roman, M. Giese, & D. Roman (Eds.), Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Proceedings (pp. 177-185). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12173 LNCS). Springer. https://doi.org/10.1007/978-3-030-57977-7_14

Governatori, Guido ; Romeu, Pompeu Casanovas ; de Koker, Louis. / On the formal representation of the Australian spent conviction scheme. Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Proceedings. editor / Víctor Gutiérrez-Basulto ; Tomáš Kliegr ; Ahmet Soylu ; Ahmet Soylu ; Dumitru Roman ; Martin Giese ; Dumitru Roman. Cham, Switzerland : Springer, 2020. pp. 177-185 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d2f214664c95413f9a94520bcc7ded2a,

title = "On the formal representation of the Australian spent conviction scheme",

abstract = "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).",

author = "Guido Governatori and Romeu, {Pompeu Casanovas} and {de Koker}, Louis",

year = "2020",

doi = "10.1007/978-3-030-57977-7_14",

language = "English",

isbn = "9783030579760",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "177--185",

editor = "V{\'i}ctor Guti{\'e}rrez-Basulto and Tom{\'a}{\v s} Kliegr and Ahmet Soylu and Ahmet Soylu and Dumitru Roman and Martin Giese and Dumitru Roman",

booktitle = "Rules and Reasoning",

address = "United States",

note = "4th International Joint Conference on Rules and Reasoning 2020 : RuleML+RR 2020, Explainable algorithmic decision-making ; Conference date: 29-06-2020 Through 01-07-2020",

url = "https://2020.declarativeai.net/schedule, https://2020.declarativeai.net/events/ruleml-rr",

}

Governatori, G, Romeu, PC & de Koker, L 2020, On the formal representation of the Australian spent conviction scheme. in V Gutiérrez-Basulto, T Kliegr, A Soylu, A Soylu, D Roman, M Giese & D Roman (eds), Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12173 LNCS, Springer, Cham, Switzerland, pp. 177-185, 4th International Joint Conference on Rules and Reasoning 2020, Oslo, Norway, 29/06/20. https://doi.org/10.1007/978-3-030-57977-7_14

On the formal representation of the Australian spent conviction scheme. / Governatori, Guido; Romeu, Pompeu Casanovas; de Koker, Louis.
Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Proceedings. ed. / Víctor Gutiérrez-Basulto; Tomáš Kliegr; Ahmet Soylu; Ahmet Soylu; Dumitru Roman; Martin Giese; Dumitru Roman. Cham, Switzerland: Springer, 2020. p. 177-185 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12173 LNCS).

Research output: Book chapter/Published conference paper › Conference paper › peer-review

TY - GEN

T1 - On the formal representation of the Australian spent conviction scheme

AU - Governatori, Guido

AU - Romeu, Pompeu Casanovas

AU - de Koker, Louis

PY - 2020

Y1 - 2020

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

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

UR - http://www.scopus.com/inward/record.url?scp=85090098791&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85090098791&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-57977-7_14

DO - 10.1007/978-3-030-57977-7_14

M3 - Conference paper

AN - SCOPUS:85090098791

SN - 9783030579760

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 177

EP - 185

BT - Rules and Reasoning

A2 - Gutiérrez-Basulto, Víctor

A2 - Kliegr, Tomáš

A2 - Soylu, Ahmet

A2 - Roman, Dumitru

A2 - Giese, Martin

A2 - Roman, Dumitru

PB - Springer

CY - Cham, Switzerland

T2 - 4th International Joint Conference on Rules and Reasoning 2020

Y2 - 29 June 2020 through 1 July 2020

ER -

Governatori G, Romeu PC, de Koker L. On the formal representation of the Australian spent conviction scheme. In Gutiérrez-Basulto V, Kliegr T, Soylu A, Soylu A, Roman D, Giese M, Roman D, editors, Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Proceedings. Cham, Switzerland: Springer. 2020. p. 177-185. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-57977-7_14

On the formal representation of the Australian spent conviction scheme

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this