Characterising Deadlines in Temporal Modal Defeasible Logic

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.

• Type: Conference
• Year: 2007
• Where: AUSAI
• Authors: Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo
• Keywords: Artificial Intelligence, AUSAI 2007, Conceptual Analysis, Deontic Operator, Modal Defeasible Logic