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.

[img] PDF (118kB)
Administrators only | Request a copy from author

View at publisher


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:

0 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® 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 the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 89399
Item Type: Conference Paper
Refereed: Yes
Additional URLs:
Keywords: legal norms, permissions, event-calculus, logics, deontic event calculus
DOI: 10.3233/978-1-61499-609-5-181
ISBN: 978-1-61499-608-8
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

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page