MoL-2007-07: Bello, Marcello Di (2007) Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law. [Report]
Preview |
Text (Full Text)
MoL-2007-07.text.pdf Download (591kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
