Characterising Deadlines in Temporal Modal Defeasible Logic

  • Guido Governatori
  • Joris Hulstijn
  • Régis Riveret
  • Antonino Rotolo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4830)


We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the deadline. The deadline types are illustrated by a set of examples.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allen, J.F.: Towards a general theory of action and time. Art. Intelligence 23, 123–154 (1984)zbMATHCrossRefGoogle Scholar
  2. 2.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.: Designing a deontic logic of deadlines. In: Lomuscio, A.R., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43–56. Springer, Heidelberg (2004)Google Scholar
  4. 4.
    Dignum, F., Kuiper, R.: Specifying deadlines with obligations and dense time. International Journal of Electronic Commerce 3(2), 67–85 (1998)Google Scholar
  5. 5.
    Dignum, F., Weigand, H., Verharen, E.: Meeting the deadline: on the formal specification of temporal deontic constraints. In: Michalewicz, M., Raś, Z.W. (eds.) ISMIS 1996. LNCS, vol. 1079, pp. 243–252. Springer, Heidelberg (1996)Google Scholar
  6. 6.
    Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)CrossRefGoogle Scholar
  7. 7.
    Governatori, G., Padmanabhan, V., Rotolo, A.: Rule-based agents in temporalised defeasible logic. In: Yang, Q., Webb, G. (eds.) PRICAI 2006. LNCS (LNAI), vol. 4099, pp. 31–40. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. 8.
    Governatori, G., Palmirani, M., Riveret, R., Rotolo, A., Sartor, G.: Norm modifications in defeasible logic. In: Proceedings of JURIX 2005, pp. 13–22 (2005)Google Scholar
  9. 9.
    Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proceedings of ICAIL 2005, pp. 25–34 (2005)Google Scholar
  10. 10.
    Muller, N.J.: Managing service level agreements. International Journal of Network Management 9(3), 155–166 (1999)CrossRefGoogle Scholar
  11. 11.
    Vilain, M., Kautz, H., van Beek, P.: Constraint propagation algorithms for temporal reasoning. In: Readings in qualitative reasoning about physical systems, Morgan Kaufmann, San Francisco (1989)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Guido Governatori
    • 1
  • Joris Hulstijn
    • 2
  • Régis Riveret
    • 3
  • Antonino Rotolo
    • 3
  1. 1.School of ITEE, The University of QueenslandAustralia
  2. 2.Vrije Universiteit, AmsterdamThe Netherlands
  3. 3.CIRSFID, University of BolognaItaly

Personalised recommendations