{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:41:32Z","timestamp":1725608492735},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223587"},{"type":"electronic","value":"9783642223594"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22359-4_25","type":"book-chapter","created":{"date-parts":[[2011,9,14]],"date-time":"2011-09-14T08:07:28Z","timestamp":1315987648000},"page":"364-382","source":"Crossref","is-referenced-by-count":9,"title":["Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-4","key":"25_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence\u00a020(2-4), 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"key":"25_CR2","volume-title":"Proc. AAAI-2000","author":"G. Antoniou","year":"2000","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.: A flexible framework for defeasible logics. In: Proc. AAAI-2000. AAAI Press, Menlo Park (2000)"},{"key":"25_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-89674-6_12","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"G. Boella","year":"2008","unstructured":"Boella, G., Broersen, J., van der Torre, L.: Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol.\u00a05357, pp. 86\u201397. Springer, Heidelberg (2008)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Fulfilling or violating obligations in multiagent systems. In: Procs. IAT 2004 (2004)","DOI":"10.1109\/IAT.2004.1343001"},{"key":"25_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-540-75524-1_17","volume-title":"Engineering Societies in the Agents World VII","author":"E. Bou","year":"2007","unstructured":"Bou, E., L\u00f3pez-S\u00e1nchez, M., Rodr\u00edguez-Aguilar, J.A.: Adaptation of autonomic electronic institutions through norms and institutional agents. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 300\u2013319. Springer, Heidelberg (2007)"},{"key":"25_CR6","volume-title":"Proc. ECAI 2008","author":"J. Broersen","year":"2008","unstructured":"Broersen, J., van der Torre, L.: Conditional norms and dyadic obligations in time. In: Proc. ECAI 2008. IOS Press, Amsterdam (2008)"},{"key":"25_CR7","volume-title":"Handbook of Philosophical Logic","author":"J. Carmo","year":"2002","unstructured":"Carmo, J., Jones, A.J.I.: Deontic logic and contrary to duties. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn. Kluwer, Dordrecht (2002)","edition":"2"},{"key":"25_CR8","series-title":"Dagstuhl Seminar Proceedings","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79043-3","volume-title":"Programming Multi-Agent Systems","author":"M. Dastani","year":"2008","unstructured":"Dastani, M., Grossi, D., Meyer, J.-J.C., Tinnemeier, N.: Normative multi-agent programs and their logics. In: Bordini, R., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) Programming Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol.\u00a008361. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2008)"},{"key":"25_CR9","volume-title":"Adaptive Agents and Multi-Agent Systems II","author":"M. Esteva","year":"2005","unstructured":"Esteva, M., Rosell, B., Rodr\u00edguez-Aguilar, J.A., Arcos, J.L.: Ameli: An agent-based middleware for electronic institutions. In: Proc. of AAMAS 2004, vol.\u00a03394. ACM, New York (2005)"},{"key":"25_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11423355_10","volume-title":"Engineering Societies in the Agents World V","author":"P. Pasquier","year":"2005","unstructured":"Pasquier, P., Flores, R., Chaib-draa, B.: Modelling flexible social commitments and their enforcement. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol.\u00a03451, pp. 139\u2013151. Springer, Heidelberg (2005)"},{"key":"25_CR11","volume-title":"Proc. AAMAS 2007","author":"D. Gaertner","year":"2007","unstructured":"Gaertner, D., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.-A., Vasconcelos, W.: Distributed norm management in regulated multiagent systems. In: Proc. AAMAS 2007. ACM, New York (2007)"},{"issue":"2-3","key":"25_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems\u00a014(2-3), 181\u2013216 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"25_CR13","series-title":"Lecture Notes in Artificial Intelligence","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\u00a0temporal\u00a0modal\u00a0defeasible\u00a0logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 486\u2013496. Springer, Heidelberg (2007)"},{"key":"25_CR14","first-page":"193","volume":"44","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic\u00a044, 193\u2013215 (2006)","journal-title":"Australasian Journal of Logic"},{"key":"25_CR15","first-page":"186","volume-title":"Jurix 2008","author":"G. Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: An algorithm for business process compliance. In: Sartor, G. (ed.) Jurix 2008, pp. 186\u2013191. IOS Press, Amsterdam (2008)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 25\u201334 (2005)","DOI":"10.1145\/1165485.1165490"},{"key":"25_CR17","volume-title":"In Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems II","author":"D. Grossi","year":"2006","unstructured":"Grossi, D., Aldewereld, H., Dignum, F.: Ubi lex, ibi poena: Designing norm enforcement in e-institutions. In: In Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems II. Springer, Heidelberg (2006)"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Herrestad, H.: Norms and formalization. In: ICAIL, pp. 175\u2013184 (1991)","DOI":"10.1145\/112646.112667"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-642-14977-1_11","volume-title":"Computational Logic in Multi-Agent Systems","author":"J.F. H\u00fcbner","year":"2010","unstructured":"H\u00fcbner, J.F., Boissier, O., Bordini, R.: From organisation specification to normative programming in multi-agent organisations. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol.\u00a06245, pp. 117\u2013134. Springer, Heidelberg (2010)"},{"key":"25_CR20","volume-title":"Proc. AAMAS 2002","author":"F. L\u00f3pez L\u00f3pez y","year":"2002","unstructured":"L\u00f3pez y L\u00f3pez F., Luck, M., d\u2019Inverno, M.: Constraining autonomy through norms. In: Proc. AAMAS 2002. ACM, New York (2002)"},{"key":"25_CR21","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":"25_CR22","doi-asserted-by":"crossref","unstructured":"Smith, C., Rotolo, A., Sartor, G.: Temporal reasoning and mas. In: SNAMAS 2010 (2010)","DOI":"10.2139\/ssrn.1785412"},{"key":"25_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-14183-6_6","volume-title":"Deontic Logic in Computer Science","author":"J. Benthem van","year":"2010","unstructured":"van Benthem, J., Grossi, D., Liu, F.: Deontics = betterness + priority. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol.\u00a06181, pp. 50\u201365. Springer, Heidelberg (2010)"},{"key":"25_CR24","unstructured":"van der Torre, L., Boella, G., Verhagen, H. (eds.): Normative Multi-agent Systems, Special Issue of JAAMAS, vol.\u00a017(1) (2008)"},{"key":"25_CR25","first-page":"339","volume":"25","author":"J. Eck van","year":"1982","unstructured":"van Eck, J.: A system of temporally relative modal and deontic predicate logic and its philosophical applications. Logique et Analyse\u00a025, 339\u2013381 (1982)","journal-title":"Logique et Analyse"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22359-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T13:45:45Z","timestamp":1560606345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22359-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223587","9783642223594"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22359-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}