Justice delayed is Justice Denied: Logics for a temporal account of reparations and legal compliance

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6814 LNAI, Issue , 2011, Pages 364-382

  Governatori, Guido ^a   Rotolo, Antonino ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

LEGAL COMPLIANCE; LEGAL OBLIGATIONS; TEMPORAL CONSTRAINTS;

INTELLIGENT AGENTS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; TEMPORAL LOGIC;

COMPUTATION THEORY;

EID: 80053105342     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22359-4_25     Document Type: Conference Paper

References (25)

1. 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 20(2-4), 133-157 (2006)
2. Antoniou, G., Billington, D., Governatori, G., Maher, M.: A flexible framework for defeasible logics. In: Proc. AAAI-2000. AAAI Press, Menlo Park (2000)
3. 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. 5357, pp. 86-97. Springer, Heidelberg (2008)
4. Boella, G., van der Torre, L.: Fulfilling or violating obligations in multiagent systems. In: Procs. IAT 2004 (2004)
5. Bou, E., López-Sánchez, M., Rodríguez-Aguilar, J.A.: Adaptation of autonomic electronic institutions through norms and institutional agents. In: O'Hare, G.M.P., Ricci, A., O'Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 300-319. Springer, Heidelberg (2007)
6. Broersen, J., van der Torre, L.: Conditional norms and dyadic obligations in time. In: Proc. ECAI 2008. IOS Press, Amsterdam (2008)
7. 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)
8. 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. 08361. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2008)
9. Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: Ameli: An agent-based middleware for electronic institutions. In: Proc. of AAMAS 2004, vol. 3394. ACM, New York (2005)
10. 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. 3451, pp. 139-151. Springer, Heidelberg (2005)
11. 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)
12. Governatori, G.: Representing business contracts in Rule ML. International Journal of Cooperative Information Systems 14(2-3), 181-216 (2005) (Pubitemid 40878417)
13. 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. 4830, pp. 486-496. Springer, Heidelberg (2007)
14. Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 44, 193-215 (2006)
15. Governatori, G., Rotolo, A.: An algorithm for business process compliance. In: Sartor, G. (ed.) Jurix 2008, pp. 186-191. IOS Press, Amsterdam (2008)
16. 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-34 (2005)
17. 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)
18. Herrestad, H.: Norms and formalization. In: ICAIL, pp. 175-184 (1991)
19. Hübner, 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. 6245, pp. 117-134. Springer, Heidelberg (2010)
20. López y López F., Luck, M., d'Inverno, M.: Constraining autonomy through norms. In: Proc. AAMAS 2002. ACM, New York (2002)
21. Marín, R.H., Sartor, G.: Time and norms: a formalisation in the event-calculus. In: ICAIL, pp. 90-99 (1999)
22. Smith, C., Rotolo, A., Sartor, G.: Temporal reasoning and mas. In: SNAMAS 2010 (2010)
23. van Benthem, J., Grossi, D., Liu, F.: Deontics = betterness + priority. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 50-65. Springer, Heidelberg (2010)
24. van der Torre, L., Boella, G., Verhagen, H. (eds.): Normative Multi-agent Systems, Special Issue of JAAMAS, vol. 17(1) (2008)
25. van Eck, J.: A system of temporally relative modal and deontic predicate logic and its philosophical applications. Logique et Analyse 25, 339-381 (1982)