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.
G. Governatori, J. Hulstijn, R. Riveret, A. Rotolo (2007). Characterising Deadlines in Temporal Modal Defeasible Logic. BERLIN : Springer.
Characterising Deadlines in Temporal Modal Defeasible Logic
GOVERNATORI, GUIDO;RIVERET, REGIS;ROTOLO, ANTONINO
2007
Abstract
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
