Variants of temporal defeasible logics for modelling norm modifications

Governatori, Guido, Rotolo, Antonino, Riveret, Regis, Palmirani, Monica and Sartor, Giovanni (2007). Variants of temporal defeasible logics for modelling norm modifications. In: Radboud Winkels and Anne Gardner, Eleventh International Conference on Artificial Intelligence and Law: Proceedings. 11th International Conference on Artificial Intelligence and Law (ICAIL 2007), Stanford, California, U.S.A., (155-159). 4-8 June 2007. doi:10.1145/1276318.1276347

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
icail.pdf icail.pdf application/pdf 142.78KB 591

Author Governatori, Guido
Rotolo, Antonino
Riveret, Regis
Palmirani, Monica
Sartor, Giovanni
Title of paper Variants of temporal defeasible logics for modelling norm modifications
Conference name 11th International Conference on Artificial Intelligence and Law (ICAIL 2007)
Conference location Stanford, California, U.S.A.
Conference dates 4-8 June 2007
Convener International Association for Artificial Intelligence and Law (IAAIL)
Proceedings title Eleventh International Conference on Artificial Intelligence and Law: Proceedings
Journal name Proceedings of the International Conference on Artificial Intelligence and Law
Place of Publication New York, NY, U.S.A.
Publisher The Association for Computing Machinery
Publication Year 2007
Sub-type Fully published paper
DOI 10.1145/1276318.1276347
Open Access Status File (Author Post-print)
ISBN 9781604233995
Editor Radboud Winkels
Anne Gardner
Start page 155
End page 159
Total pages 5
Language eng
Abstract/Summary This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.
Subjects 280200 Artificial Intelligence and Signal and Image Processing
390302 Jurisprudence and Legal Theory
Keyword Defeasible logic
Temporal reasoning
Normative reasoning
Legal drafting
Norm modifictions
References [1] G. Antoniou, D. Billington, G. Governatori, and M. J. Maher. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255–287, 2001. [2] N. Bassiliades, G. Antoniou, and I. Vlahavas. DR-DEVICE: A defeasible logic system for the Semantic Web. In 2nd PPSWR, Springer, 2004. [3] G. Governatori, M. J. Maher, D. Billington, and G. Antoniou. Argumentation semantics for defeasible logics. Journal of Logic and Computation, 14(5):675–702, 2004. [4] G. Governatori, V. Padmanabhan, and A. Rotolo. . In 9th PRICAI, LNAI 4099, 31–40. Springer, 2006. [5] G. Governatori, M. Palmirani, R. Riveret, A. Rotolo, and G. Sartor. Norm modifications in defeasible logic. In JURIX 2005, 13–22. IOS Press, 2005. [6] G. Governatori, A. Rotolo, and G. Sartor. Temporalised normative positions in defeasible logic. In 10th ICAIL, 25–34. ACM Press, 2005. [7] R. Guastini. Teoria e dogmatica delle fonti. Giuffré, 1998. [8] M. J. Maher. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming, (6):691–711, 2001. [9] D. Nute. Defeasible reasoning. In 20th HICSS, 470–477. IEEE press, 1987. [10] M. Palmirani and R. Brighi. Time model for managing the dynamic of normative system. In EGOV 2006, 207–218, Springer, 2006.
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ
Additional Notes Copyright (c) 2007 ACM Press. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.

Version Filter Type
Citation counts: Scopus Citation Count Cited 21 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Wed, 18 Apr 2007, 20:05:31 EST by Guido Governatori on behalf of Faculty Of Engineering, Architecture & Info Tech