Modelling temporal legal rules

Legal reasoning involves multiple temporal dimensions but the existing state of the art of legal representation languages does not allow us to easily combine expressiveness, performance and legal reasoning requirements. Moreover we also aim at the combination of legal temporal reasoning with the defeasible logic approach, maintaining a computable complexity. The contribution of this work is to extend LKIF-rules with temporal dimensions and defeasible tools, extending our previous work [17].

[1]  Giovanni Sartor,et al.  Time and norms: a formalisation in the event-calculus , 1999, ICAIL '99.

[2]  Guido Governatori,et al.  The Making of SPINdle , 2009, RuleML.

[3]  Fabio Vitali,et al.  MetaLex XML and the Legal Knowledge Interchange Format , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

[4]  Guido Governatori.  On the relationship between Carneades and Defeasible Logic , 2011, ICAIL.

[5]  Guido Governatori,et al.  Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain , 2009, RuleML.

[6]  Giuseppe Contissa,et al.  Fill the Gap in the Legal Knowledge Modelling , 2009, RuleML.

[7]  Guido Governatori,et al.  Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.

[8]  Thomas F. Gordon,et al.  Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

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

[10]  G. Sartor.  Legal Reasoning: A Cognitive Approach to Law , 2005 .

[11]  Giuseppe Contissa,et al.  Temporal Dimensions in Rules Modelling , 2010, JURIX.

[12]  Rinke Hoekstra,et al.  Developing Content for LKIF: Ontologies and Frameworks for Legal Reasoning , 2006, JURIX.

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

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

[15]  Guido Governatori,et al.  Variants of temporal defeasible logics for modelling norm modifications , 2007, ICAIL.

[16]  Trevor J. M. Bench-Capon,et al.  Isomorphism and argumentation , 2009, ICAIL.

[17]  Thomas F. Gordon.  An Overview of the Legal Knowledge Interchange Format , 2010, BIS.

[18]  Trevor J. M. Bench-Capon,et al.  Legal Knowledge and Information Systems. JURIX 2010: The Twenty -Third Annual Conference , 2010 .

[19]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..