{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T08:45:52Z","timestamp":1770885952209,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319098692","type":"print"},{"value":"9783319098708","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09870-8_22","type":"book-chapter","created":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T01:06:07Z","timestamp":1405904767000},"page":"296-310","source":"Crossref","is-referenced-by-count":14,"title":["Modeling Obligations with Event-Calculus"],"prefix":"10.1007","author":[{"given":"Mustafa","family":"Hashmi","sequence":"first","affiliation":[]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]},{"given":"Moe Thandar","family":"Wynn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-44927-7_2","volume-title":"PRIMA 2013: Principles and Practice of Multi-Agent Systems","author":"W. Alrawagfeh","year":"2013","unstructured":"Alrawagfeh, W.: Norm Representation and Reasoning: A Formalization in Event Calculus. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds.) PRIMA 2013. LNCS (LNAI), vol.\u00a08291, pp. 5\u201320. Springer, Heidelberg (2013)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Bandara, A., Lupu, E., Russo, A.: Using Event Calculus to Formalise Policy Specification and Analysis. In: POLICY 2003, pp. 26\u201339 (2003)","DOI":"10.1109\/POLICY.2003.1206955"},{"key":"22_CR3","unstructured":"DECLARE. Declarative Process Models, http:\/\/www.win.tue.nl\/declare\/"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Specifying artificial institutions in the event calculus. In: Handbook of Research on Multi-Agent Systems: Sematnics and Dynamics of Organisational Models, pp. 335\u2013366. IGI Global (2009)","DOI":"10.4018\/978-1-60566-256-5.ch014"},{"key":"22_CR5","unstructured":"Goedertier, S., Vanthienen, J.: Business Rules for Compliant Business Process Models. In: BIS 2006. LNI, vol. P-85, pp. 558\u2013579. Gesellschaft f\u00fcr Informatik (2006)"},{"key":"22_CR6","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11837862_2","volume-title":"Business Process Management Workshops","author":"S. Goedertier","year":"2006","unstructured":"Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes with Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 5\u201314. Springer, Heidelberg (2006)"},{"issue":"6","key":"22_CR7","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1524\/itit.2013.2003","volume":"55","author":"G. Governatori","year":"2013","unstructured":"Governatori, G.: Business Process Compliance: An Abstract Normative Framework. It-Information Technoloby\u00a055(6), 231\u2013238 (2013)","journal-title":"It-Information Technoloby"},{"key":"22_CR8","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-540-76928-6_50","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G. Governatori","year":"2007","unstructured":"Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising Deadlines in Temporal Modal Defeasible Logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 486\u2013496. Springer, Heidelberg (2007)"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Governatori, G., Milosevic, Z.: Dealing with Contract Violations: Formalism and Domain Specific Language. In: EDOC 2005, pp. 46\u201357. IEEE Computer Society (2005)","DOI":"10.1109\/EDOC.2005.13"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised Normative Positions in Defeasible Logic. In: ICAIL 2005, pp. 25\u201334. ACM (2005)","DOI":"10.1145\/1165485.1165490"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Governatori, G., Sadiq, S.: The Journey to Business Process Compliance. In: Handbook of Research on Business Process Management, pp. 426\u2013454. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"22_CR12","series-title":"LNBIP","first-page":"100","volume-title":"ASSRI 2013","author":"M. Hashmi","year":"2013","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Normative Requirements for Business Process Compliance. In: Davis, J.G., Demirkan, H., Motahari-Nezhad, H.R. (eds.) ASSRI 2013. LNBIP, vol.\u00a0177, pp. 100\u2013116. Springer, Heidelberg (2013)"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/11555827_7","volume-title":"Computer Security \u2013 ESORICS 2005","author":"M. Hilty","year":"2005","unstructured":"Hilty, M., Basin, D., Pretschner, A.: On Obligations. In: de Capitani di Vimercati, S., Syverson, P., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 98\u2013117. Springer, Heidelberg (2005)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Sergot, M.: A Logic-Based Calculus of Events. In: Schmidt, J., Thanos, C. (eds.) Foundations of Knowledge Base Management. Topics in Information Systems, pp. 23\u201355. Springer (1989)","DOI":"10.1007\/978-3-642-83397-7_2"},{"issue":"A","key":"22_CR15","first-page":"77","volume":"3","author":"R. Miller","year":"1999","unstructured":"Miller, R., Shanahan, M.: The Event Calculus in Classical Logic - Alternative Axiomatisations. Electron. Trans. Artif. Intell.\u00a03(A), 77\u2013105 (1999)","journal-title":"Electron. Trans. Artif. Intell."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Miller, R., Shanahan, M.: Some Alternative Formulations of the Event-Calculus. In: Kakas, A.C., Sadri, F. (eds.) Computat. Logic (Kowalski Festschrift). LNCS (LNAI), vol.\u00a02408, pp. 452\u2013490. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45632-5_17"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Palmirani, M., Governatori, G., Contissa, G.: Modelling Temporal Legal Rules. In: ICAIL, pp. 131\u2013135 (2011)","DOI":"10.1145\/2018358.2018378"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Sadri, F., Kowalski, R.: Variants of the Event Calculus. In: Sterling, L. (ed.) Proceedings of the Twelth International Conference on Logic Programming. MIT, Cambridge (1995)","DOI":"10.7551\/mitpress\/4298.003.0017"},{"key":"22_CR19","unstructured":"Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer (2005)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Soeteman, A.: Pluralism and Law. In: Proceedings of the 20th IVR World Congress of the Int\u2019l Association of Philosophy of Law and Social Philosophy, vol.\u00a04, p. 104 (2001)","DOI":"10.1007\/978-94-017-2702-0"}],"container-title":["Lecture Notes in Computer Science","Rules on the Web. From Theory to Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09870-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T21:50:42Z","timestamp":1746309042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09870-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319098692","9783319098708"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09870-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}