Variants of temporal defeasible logics for modelling norm modifications

Authors:
Guido Governatori;Antonino Rotolo;Régis Riveret;Monica Palmirani;Giovanni Sartor
Affiliations:
The University of Queensland, Brisbane, Australia;University of Bologna, Italy;University of Bologna, Italy;University of Bologna, Italy;University of Bologna, Italy
Venue:
Proceedings of the 11th international conference on Artificial intelligence and law
Year:
2007

Citing 7
Cited 15

Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
Propositional defeasible logic has linear complexity

Theory and Practice of Logic Programming
Argumentation Semantics for Defeasible Logic

Journal of Logic and Computation
Temporalised normative positions in defeasible logic

ICAIL '05 Proceedings of the 10th 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
Rule-based agents in temporalised defeasible logic

PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Time model for managing the dynamic of normative system

EGOV'06 Proceedings of the 5th international conference on Electronic Government

Temporal Deontic Defeasible Logic: An Analytical Approach

Computable Models of the 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
Modelling and reasoning languages for social networks policies

EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
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
A logical model of private international law

DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Implementing temporal defeasible logic for modeling legal reasoning

JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Norm-system revision: theory and application

Artificial Intelligence and Law
On the relationship between Carneades and Defeasible Logic

Proceedings of the 13th International Conference on Artificial Intelligence and Law
Temporal accommodation of legal argumentation

Proceedings of the 13th International Conference on Artificial Intelligence and Law
Modelling temporal legal rules

Proceedings of the 13th International Conference on Artificial Intelligence and Law
Can temporal representation and reasoning make a difference in automated legal reasoning?: lessons from an AI-based ethical reasoner

Proceedings of the 13th International Conference on Artificial Intelligence and Law
Software support for organised adaptation

ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Compliance with normative systems

AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
Legal contractions: a logical analysis

Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.