Permissions in Deontic Event-Calculus
Governatori, Guido & Hashmi, Mustafa (2015) Permissions in Deontic Event-Calculus. In Legal knowledge and information systems [Frontiers in Artificial Intelligence and Applications, Volume 279], IOS Press, Braga, Portugal, pp. 181-182.
Administrators only | Request a copy from author
Permissions are special case of deontic effects and play important role compliance. Essentially they are used to determine the obligations or prohibitions to contrary. A formal language e.g., temporal logic, event-calculus et., not able to represent permissions is doomed to be unable to represent most of the real-life legal norms. In this paper we address this issue and extend deontic-event-calculus (DEC) with new predicates for modelling permissions enabling it to elegantly capture the intuition of real-life cases of permissions.
Impact and interest:
Citation counts are sourced monthly from and citation databases.
These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.
Citations counts from theindexing service can be viewed at the linked Google Scholar™ search.
|Item Type:||Conference Paper|
|Keywords:||legal norms, permissions, event-calculus, logics, deontic event calculus|
|Divisions:||Past > QUT Faculties & Divisions > Faculty of Science and Technology
Current > Schools > School of Information Systems
|Copyright Owner:||Copyright 2015 [please consult the authors]|
|Deposited On:||22 Oct 2015 23:44|
|Last Modified:||17 Dec 2015 05:25|
Repository Staff Only: item control page