Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Refinement: a tool to deal with inconsistencies
Proceedings of the 8th international conference on Artificial intelligence and law
A New Approach to Base Revision
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Variants of temporal defeasible logics for modelling norm modifications
Proceedings of the 11th international conference on Artificial intelligence and law
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency
Artificial Intelligence and Law
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
Retroactive legal changes and revision theory in defeasible logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Norm-system revision: theory and application
Artificial Intelligence and Law
What are the necessity rules in defeasible reasoning?
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
NO Revision and NO Contraction
Minds and Machines
Designing for compliance: norms and goals
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Hi-index | 0.00 |
This paper systematically investigates how to model legal contraction in an expressive variant of Defeasible Deontic Logic. We argue that legal contraction is an umbrella concept that includes operations which are conceptually and technically different: removing rules, adding exceptions, and modifying rule priorities. The peculiarities of deleting legal conclusions show that an extension of those operations is sometimes needed, which works on the indirect conclusions from which the target effect of the contraction is obtained. The proposed techniques are discussed in the context of a new version for the logic of AGM postulates of contraction.