MoL-2007-07: Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law

MoL-2007-07: Bello, Marcello Di (2007) Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law. [Report]

[img]
Preview
Text (Full Text)
MoL-2007-07.text.pdf

Download (591kB) | Preview
[img] Text (Abstract)
MoL-2007-07.abstract.txt

Download (710B)

Abstract

This thesis explores to what extent legal knowledge and legal reasoning can be encoded in the Event Calculus (hereafter, EC), and how EC needs to be extended (if at all) to accommodate legal reasoning and knowledge. The locutions 'legal knowledge' and 'legal reasoning' gather a variety of disparate referents. A working hypothesis of this thesis is that a considerable portion of legal knowledge and reasoning is contained in legislative texts (laws, decrees, regulations, directives, etc.). The primary task will thus be to formalize a piece of legislation in the language of EC.

Item Type: Report
Report Nr: MoL-2007-07
Series Name: Master of Logic Thesis (MoL) Series
Year: 2007
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/779

Actions (login required)

View Item View Item