On the Formal Representation of the Australian Spent Conviction Scheme

Pompeu Casanovas Romeu; Guido Governatori; Louis de Koker

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

On the Formal Representation of the Australian Spent Conviction Scheme

Pompeu Casanovas Romeu, Guido Governatori, Louis de Koker

Research output: Chapter in Book › Chapter › Research › peer-review

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	International Joint Conference on Rules and Reasoning, 2020
Pages	177-185
Number of pages	9
ISBN (Electronic)	978-3-030-57977-7
DOIs	https://doi.org/10.1007/978-3-030-57977-7_14
Publication status	Published - 2020

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Cham
Volume	12173
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-030-57977-7_14Licence: CC BY

Cite this

@inbook{6c35a2f96d954565b402d95866e9faa3,

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 = "{Casanovas Romeu}, Pompeu and Guido Governatori and {de Koker}, Louis",

year = "2020",

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

language = "English",

isbn = "978-3-030-57976-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer Cham",

pages = "177--185",

booktitle = "International Joint Conference on Rules and Reasoning, 2020",

}

TY - CHAP

T1 - On the Formal Representation of the Australian Spent Conviction Scheme

AU - Casanovas Romeu, Pompeu

AU - Governatori, Guido

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

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

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

M3 - Chapter

SN - 978-3-030-57976-0

T3 - Lecture Notes in Computer Science

SP - 177

EP - 185

BT - International Joint Conference on Rules and Reasoning, 2020

ER -

On the Formal Representation of the Australian Spent Conviction Scheme

Abstract

Publication series

UN SDGs

Access to Document

Fingerprint

Cite this