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.
Characterising Deadlines in Temporal Modal Defeasible Logic / G. Governatori; J. Hulstijn; R. Riveret; A. Rotolo. - STAMPA. - (2007), pp. 486-496. (Intervento presentato al convegno Twentieth Australian Joint Conference on Artificial Intelligence - AI07 tenutosi a Holiday Inn, Surfers Paradise, Gold Coast, Queensland, Australia nel 2-6 December, 2007).
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.