Temporal Deontic Defeasible Logic: An Analytical Approach

  • Régis Riveret
  • Antonino Rotolo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4884)


In [1,2,3] basic Defeasible Logic was extended to capture some temporal aspects in legal reasoning. All these extensions can be criticized in two respects: first, a synthetical approach with which all temporal and substantial elements of the norm are represented within the same sentence was adopted instead of an analytical approach in which one sentence represents the substantive content of the norm, and other sentences specify its temporal features. Second, no semantics was provided. This paper aims to provide a Temporal Deontic Defeasible Logic adopting an analytical approach and an argumentation semantics.


Legal Reasoning Proof Theory Nonmonotonic Reasoning Proof Condition Superiority Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL 2005, Proceedings of 10th Int. Conf. on Artif. Intell. and Law, pp. 25–34. ACM, New York (2005)CrossRefGoogle Scholar
  2. 2.
    Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logics for modelling norm modifications. In: ICAIL 2007, Proceedings of the 11h Int. Conf. on Artif. Intell. and Law, pp. 155–159. ACM, New York (2007)Google Scholar
  3. 3.
    Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: AUSTAI 2007, 20th Australian Joint Conf. on Artif. Intell. Springer, Heidelberg (2007)Google Scholar
  4. 4.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)CrossRefMathSciNetMATHGoogle Scholar
  5. 5.
    Marín, R.H., Sartor, G.: Time and norms: a formalisation in the event-calculus. In: ICAIL 1999, Proceedings of the 7th Int. Conf. on Artif. Intell. and Law, pp. 90–99. ACM, New York (1999)CrossRefGoogle Scholar
  6. 6.
    Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14(5), 675–702 (2004)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23(2), 123–154 (1984)MATHCrossRefGoogle Scholar
  8. 8.
    Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell 77(2), 321–358 (1995)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1) (1997)Google Scholar
  10. 10.
    Vila, L., Yoshino, H.: Time in automated legal reasoning. Information and Communications Technology Law 7(3), 173–197 (1998)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Régis Riveret
    • 1
  • Antonino Rotolo
    • 1
  1. 1.CIRSFID and Law FacultyUniversity of BolognaBolognaItaly

Personalised recommendations