Characterising Deadlines in Temporal Modal Defeasible Logic - Governatori, Guido; Hulstijn, Joris; Riveret, Régis; Rotolo, Antonino (AI 2007: Advances in Artificial Intelligence, 2007)
Keywords: Artificial intelligence; Data mining; Mathematical theory of computation