论文信息 - Variants of temporal defeasible logics for modelling norm modifications

Variants of temporal defeasible logics for modelling norm modifications

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.

[1] Michael J. Maher,et al. Argumentation Semantics for Defeasible Logics , 2000, PRICAI.

[2] Guido Governatori,et al. Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[3] Michael J. Maher. Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[4] Monica Palmirani,et al. Time Model for Managing the Dynamic of Normative System , 2006, EGOV.

[5] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..

[6] John L. Pollock,et al. Defeasible Reasoning , 2020, Synthese Library.

[7] Guillermo R. Simari,et al. Temporal Defeasible Reasoning , 2001, Knowledge and Information Systems.

[8] Guido Governatori,et al. Rule-based agents in temporalised defeasible logic , 2006 .

[9] Guido Governatori,et al. Norm Modifications in Defeasible Logic , 2005, JURIX.

[10] Ioannis P. Vlahavas,et al. DR-DEVICE: A Defeasible Logic System for the Semantic Web , 2004, PPSWR.

[11] Bart Verheij. Virtual Arguments: On the Design of Argument Assistants for Lawyers and Other Arguers , 2005 .

[12] Michael J. Maher,et al. Representation results for defeasible logic , 2000, TOCL.

[13] Michael J. Maher,et al. Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[14] Riccardo Guastini,et al. Teoria e dogmatica delle fonti , 1998 .