Variants of temporal defeasible logics for modelling norm modifications

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2007, Pages 155-159

  Governatori, Guido ^a   Rotolo, Antonino ^b   Riveret, Régis ^b   Palmirani, Monica ^b   Sartor, Giovanni ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CASE BASED REASONING; MATHEMATICAL MODELS;

LEGAL RULES; NORM MODIFICATIONS; NORMATIVE MODIFICATIONS; TEMPORAL DEFEASIBLE LOGICS;

LOGIC PROGRAMMING;

EID: 34548039977     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1276318.1276347     Document Type: Conference Paper

References (10)

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. Rule-based agents in temporalised defeasible logic. 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. Prepositional 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.