TY - GEN
T1 - Justice delayed is Justice Denied
T2 - 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, Co-located with the 22nd International Joint Conference on Artificial Intelligence
AU - Governatori, Guido
AU - Rotolo, Antonino
PY - 2011
Y1 - 2011
N2 - In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of the concept of legal compliance. In particular, the formal characterisation of compliance can handle different types of legal obligation and different temporal constraints over them. The logic is also able to represent, and reason about, chains of reparative obligations, since in many cases the fulfillment of these types of obligation still amount to legally acceptable situations.
AB - In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of the concept of legal compliance. In particular, the formal characterisation of compliance can handle different types of legal obligation and different temporal constraints over them. The logic is also able to represent, and reason about, chains of reparative obligations, since in many cases the fulfillment of these types of obligation still amount to legally acceptable situations.
UR - http://www.scopus.com/inward/record.url?scp=80053105342&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80053105342&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-22359-4_25
DO - 10.1007/978-3-642-22359-4_25
M3 - Conference paper
AN - SCOPUS:80053105342
SN - 9783642223587
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 364
EP - 382
BT - Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings
Y2 - 17 July 2010 through 18 July 2010
ER -