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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Governatori, G., Hulstijn, J., Riveret, R., & Rotolo, A. (2007). Characterising deadlines in temporal modal defeasible logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4830 LNAI, pp. 486–496). Springer Verlag. https://doi.org/10.1007/978-3-540-76928-6_50
Mendeley helps you to discover research relevant for your work.