Time and defeasibility in FIPA ACL semantics - Boella, Guido; Governatori, Guido; Hulstijn, Joris; Riveret, Régis; Rotolo, Antonino; van der Torre, Leendert (Journal of Applied Logic, 2011)