Modeling obligations with event-calculus
File version
Accepted Manuscript (AM)
Author(s)
Governatori, G
Wynn, MT
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
Size
File type(s)
Location
Prague, Czech Republic
License
Abstract
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 propose an extension of EC that avoids such shortcomings and we show how to use it to model the various types of obligations.
Journal Title
Conference Title
Lecture Notes in Computer Science
Book Title
Edition
Volume
8620
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© Springer International Publishing Switzerland 2014. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com
Item Access Status
Note
Access the data
Related item(s)
Subject
Theory of computation
Persistent link to this record
Citation
Hashmi, M; Governatori, G; Wynn, MT, Modeling obligations with event-calculus, Lecture Notes in Computer Science, 2014, 8620, pp. 296-310