Modeling obligations with event-calculus
| Data(s) |
09/09/2014
|
|---|---|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador | |
| Publicador |
Springer International Publishing |
| Relação |
http://eprints.qut.edu.au/62424/5/62424.pdf DOI:10.1007/978-3-319-09870-8_22 Hashmi, Mustafa, Governatori, Guido, & Wynn, Moe Thandar (2014) Modeling obligations with event-calculus. In Proceedings of the 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014 [Lecture Notes in Computer Science], Springer International Publishing, Prague, Czec Republic, pp. 296-310. |
| Direitos |
© Copyright 2014 Springer International Publishing Switzerland |
| Fonte |
Institute for Future Environments; School of Information Systems; Science & Engineering Faculty |
| Palavras-Chave | #080000 INFORMATION AND COMPUTING SCIENCES #Obligations #Temporal Rules #Rules Modeling #Event-Calculus #Legal norms #Temporal aspect #Compliance |
| Tipo |
Conference Paper |
