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

Producció científica: Capítol de llibre › Capítol › Recerca › Avaluat per experts

Resum

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

Idioma original	Anglès
Títol de la publicació	International Joint Conference on Rules and Reasoning, 2020
Pàgines	177-185
Nombre de pàgines	9
ISBN (electrònic)	978-3-030-57977-7
DOIs	https://doi.org/10.1007/978-3-030-57977-7_14
Estat de la publicació	Publicada - 2020

Sèrie de publicacions

Nom	Lecture Notes in Computer Science
Editor	Springer Cham
Volum	12173
ISSN (imprès)	0302-9743
ISSN (electrònic)	1611-3349

SDG de les Nacions Unides

Aquest resultat contribueix als següents objectius de desenvolupament sostenible.

Accés al document

10.1007/978-3-030-57977-7_14Llicència: Creative Commons Reconeixement

Com citar-ho

@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

Resum

Sèrie de publicacions

SDG de les Nacions Unides

Accés al document

Fingerprint

Com citar-ho