{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:59:40Z","timestamp":1743094780994,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030898106"},{"type":"electronic","value":"9783030898113"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89811-3_6","type":"book-chapter","created":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T06:24:53Z","timestamp":1637907893000},"page":"75-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Principles and Semantics: Modelling Violations for Normative Reasoning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8809-9716","authenticated-orcid":false,"given":"Silvano","family":"Colombo Tosatto","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5265-0660","authenticated-orcid":false,"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,11,27]]},"reference":[{"key":"6_CR1","series-title":"Trends in Logic","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-1-4020-9084-4_5","volume-title":"Towards Mathematical Philosophy","author":"T \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes, T., van\u00a0der Hoek, W., Rodr\u00edguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: A temporal logic of normative systems. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy. TL, vol. 28, pp. 69\u2013106. Springer, Dordrecht (2009). https:\/\/doi.org\/10.1007\/978-1-4020-9084-4_5"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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. 8291, pp. 5\u201320. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-44927-7_2"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-319-08615-6_5","volume-title":"Deontic Logic and Normative Systems","author":"E Calardo","year":"2014","unstructured":"Calardo, E., Governatori, G., Rotolo, A.: A preference-based semantics for CTD reasoning. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds.) DEON 2014. LNCS (LNAI), vol. 8554, pp. 49\u201364. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08615-6_5"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10458-012-9202-0","volume":"27","author":"F Chesani","year":"2013","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Representing and monitoring social commitments using the event calculus. Auton. Agents Multi-Agent Syst. 27(1), 85\u2013130 (2013)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"6_CR5","unstructured":"Gabbay, D., Horty, J., van der Meyden, R., Parent, X., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, 1 edn. College Publications (2013)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(02n03), 181\u2013216 (2005)","DOI":"10.1142\/S0218843005001092"},{"key":"6_CR7","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110, APCCM 2010, Darlinghurst, Australia, Australia, pp. 3\u201312. Australian Computer Society Inc. (2010)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-319-09870-8_22","volume-title":"Rules on the Web. From Theory to Applications","author":"M Hashmi","year":"2014","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Modeling obligations with event-calculus. In: Bikakis, A., Fodor, P., Roman, D. (eds.) RuleML 2014. LNCS, vol. 8620, pp. 296\u2013310. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09870-8_22"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Normative requirements for regulatory compliance: an abstract formal framework. Inf. Syst. Front. 18(3), 429\u2013455 (2016)","DOI":"10.1007\/s10796-015-9558-1"},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1080\/11663081.2013.841359","volume":"23","author":"E Lorini","year":"2013","unstructured":"Lorini, E.: Temporal logic and its application to normative reasoning. J. Appl. Non-Class. Log. 23(4), 372\u2013399 (2013)","journal-title":"J. Appl. Non-Class. Log."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Mar\u00edn, R.H., Sartor, G.: Time and norms: a formalisation in the event-calculus. In: ICAIL, pp. 90\u201399 (1999)","DOI":"10.1145\/323706.323719"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Parent, X., van der Torre, L.: The pragmatic oddity in a norm-based semantics. In: Proceedings of the 16th International Conference on Artificial Intelligence and Law (ICAIL-2017) (2017)","DOI":"10.1145\/3086512.3086529"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H Prakken","year":"1996","unstructured":"Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica Int. J. Symb. Log. 57(1), 91\u2013115 (1996)","journal-title":"Studia Logica Int. J. Symb. Log."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Telang, P., Singh, M.P., Yorke-Smith, N.: A coupled operational semantics for goals and commitments. J. Artif. Intell. Res. 65, 31\u201385 (2019)","DOI":"10.1613\/jair.1.11494"}],"container-title":["Lecture Notes in Computer Science","AI Approaches to the Complexity of Legal Systems XI-XII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89811-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T06:26:22Z","timestamp":1637907982000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89811-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030898106","9783030898113"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89811-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"27 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AICOL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on AI Approaches to the Complexity of Legal Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"XII","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aicol2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/aicol.eu","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}