Changing legal systems: Legal abrogations and annulments in Defeasible Logic

Logic Journal of the IGPL

Volumn 18, Issue 1, 2009, Pages 157-194

  Governatori, Guido ^a   Rotolo, Antonino ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Abrogation and annulment; Belief and base revision; Norm dynamics; Temporal defeasible logic

Indexed keywords

COMPUTER CIRCUITS;

ABROGATION AND ANNULMENT; BELIEF AND BASE REVISION; DEFEASIBLE LOGIC; LEGAL RULES; LEGAL SYSTEM; LOGICAL MODELS; NORM DYNAMIC; RULES BASED SYSTEMS; TEMPORAL ASPECTS; TEMPORAL DEFEASIBLE LOGIC;

LAWS AND LEGISLATION;

EID: 77957223191     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzp075     Document Type: Article

References (25)

1. C.E. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.
2. J.F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23:123-154, 1984.
3. 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.
4. G. Antoniou, D. Billington, G. Governatori, and M.J. Maher. Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming, 6(6):703-735, 2006.
5. J.C. Augusto and G.R. Simari. Temporal defeasible reasoning. Knowledge and Information Systems, 3(3):287-318, 2001.
6. N. Bassiliades, G. Antoniou, and I. Vlahavas. A defeasible logic reasoner for the semantic web. International Journal on Semantic Web and Information Systems, 2(1):1-41, 2006.
7. D. Billington, G. Antoniou, G. Governatori, and M.J. Maher. Revising nonmonotonic belief sets: The case of defeasible logic. In W. Burgard, T. Christaller, and A.B. Cremers, editors, KI-99: Advances in Artificial Intelligence, pages 101-112. Springer, 1999.
8. G. Boella and L. van der Torre. Fulfilling or violating obligations in multiagent systems. In 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), pages 483-486. IEEE Computer Society, 2004.
9. P. Di Giusto and G. Governatori. A new approach to base revision. In P. Barahona and J.J. Alferes, editors, 9th Portuguese Conference on Artificial Intelligence (EPIA 1999), pages 327-341. Springer, 1999.
10. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT, 1988.
11. 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.
12. G. Governatori, M. Palmirani, R. Riveret, A. Rotolo, and G. Sartor. Norm modifications in defeasible logic. In Legal Knowledge and Information Systems (JURIX 2005), pages 13-22. IOS Press, 2005.
13. G. Governatori, M. Palmirani, R. Riveret, A. Rotolo, and G. Sartor. Variants of temporal defeasible logic for modelling norm modifications. In 11th International Conference on Artificial Intelligence and Law (ICAIL 2007), pages 155-159. ACM Press, 2007.
14. G. Governatori and A. Rotolo. Changing legal systems: Abrogation and annulment. Part I: Revision of defeasible theories. In R. van der Meyden and L. van der Torre, editors, 9th International Conference on Deontic Logic in Computer Science (DEON 2008), pages 3-18, 2008.
15. G. Governatori and A. Rotolo. Changing legal systems: Abrogation and annulment. Part II: Temporalised defeasible logic. In Proceedings NorMAS 2008, 2008.
16. G. Governatori, A. Rotolo, and G. Sartor. Temporalised normative positions in defeasible logic. In 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), pages 25-34. ACM Press, 2005.
17. G. Governatori and P. Terenziani. Temporal extensions to defeasible logic. In M.A. Orgun and J. Thornton, editors, 20th Australian Joint Conference on Artificial Intelligence, pages 476-485, 2007.
18. R. Guastini. Teoria e dogmatica delle fonti. Giuffré, Milan, 1998.
19. S.O. Hansson. Belief Base Dynamics. Phd thesis, Uppsala University, 1991.
20. M.J. Maher. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming, 6(1):691-711, 2001.
21. B. Nebel. A knowledge level analysis of belief revision. In R. Brachman, H. Levesque, and R. Reiter, editors, First International Conference on Principles of Knowledge Representation and Reasoning - KR'89, pages 301-311. Morgan Kaufmann, 1989.
22. D. Nute. Defeasible reasoning. In Proceedings of 20th HICSS. IEEE press, 1987.
23. H. Prakken. Logical Tools for Modelling Legal Argument. Kluwer, Dordrecht, 1997.
24. G. Sartor. Legal Reasoning. Springer, Dordrecht, 2005.
25. L. van der Torre, G. Boella, and H. Verhagen, editors. Normative Multi-agent Systems, Special Issue of JAAMAS, vol. 17(1), 2008.