On the formal representation of the Australian spent conviction scheme

Governatori, Guido; Casanovas Romeu, Pompeu; de Koker, Louis

doi:10.26181/6073968f457d2

File(s) under embargo

Reason: Copyright restrictions by publisher

6

month(s)

10

day(s)

until file(s) become available

On the formal representation of the Australian spent conviction scheme

conference contribution

posted on 12.04.2021, 00:38 authored by Guido Governatori, Pompeu Casanovas RomeuPompeu Casanovas Romeu, Louis de KokerLouis de Koker

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

History

Publication Date

01/01/2020

Proceedings

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 D

Publisher

Springer

Place of publication

Cham, Switzerland

Series

Lecture Notes in Computer Science

Volume

12173

Pagination

9p. (p. 177-185)

ISBN-13

9783030579760

ISSN

0302-9743

Name of conference

International Joint Conference on Rules and Reasoning (RuleML+RR)

Location

Oslo, Norway

Starting Date

29/06/2020

Finshing Date

01/07/2020

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