Modeling Obligations with Event-Calculus

Select |




Print


Hashmi, Mustafa; Governatori, Guido; Wynn, Moe

Hashmi, Mustafa; Governatori, Guido; Wynn, Moe


2014-08-18


Conference Material


Rule ML 2014


Prague, Czec Republic


296-310


Time plays an important role in norms. In this paper we start from our previously proposed classification of obligations, and point out some shortcomings of Event Calculus (EC) to represent obligations. We proposed an extension of EC that avoids such shortcomings and we show how to use it to model the various types of obligations.


Springer


Legal norms, Event Calculus, Temporal aspect, Compliance


http://ruleml2014.vse.cz/


nicta:8116


Hashmi, Mustafa; Governatori, Guido; Wynn, Moe. Modeling Obligations with Event-Calculus. In: Antonis Bikakis, Paul Fodor, Dumitru Roman Editor, editor/s. Rule ML 2014; Prague, Czec Republic. Springer; 2014-08-18. 296-310.



Loading citation data...

Citation counts
(Requires subscription to view)