Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
A New Approach to Base Revision
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Revising Nonmonotonic Theories: The Case of Defeasible Logic
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Variants of temporal defeasible logics for modelling norm modifications
Proceedings of the 11th international conference on Artificial intelligence and law
Norm Modifications in Defeasible Logic
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Deontics = betterness + priority
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Relevance, derogation and permission: a case for a normal form for codes of norms
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Retroactive legal changes and revision theory in defeasible logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Hi-index | 0.00 |
In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model.