Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law
Marcello Di Bello

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.