Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Revising Nonmonotonic Theories: The Case of Defeasible Logic
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Variants of temporal defeasible logics for modelling norm modifications
Proceedings of the 11th international conference on Artificial intelligence and law
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Normative framework for normative system change
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Norm Modifications in Defeasible Logic
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Legal contractions: a logical analysis
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
In earlier works, we used Defeasible Logic to argue that techniques from belief and base revision encounter a number of difficulties in modelling legal dynamics. In particular, we showed that these techniques are not suitable when legal changes are retroactive. This suggested to adopt a different logical model able to express two main timelines, one internal to a given temporal version of the legal system, and another relative to how the legal system evolves over time. In this paper, we adjust our view and show that, under some restrictions, ideas from base revision, if applied to Defeasible Logic or to similar rule-based systems, can indeed capture some significant aspects of annulments, abrogations, and derogations.