Skip to main content


Time and defeasibility in FIPA ACL semantics


Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Rotolo Antonino and Leendert van der Torre

Università di Torino


Thauris BV
The Netherlands

University of Bologna

University of Luxembourg


Inferences about speech acts are often conditional, non-monotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difficulty to combine them in a single formalism. This paper addresses such issues in defeasible logic, and shows how to express a semantics for ACLs in order to make non-monotonic inferences on the basis of speech acts.

BibTeX Entry

    doi              = {10.1016/j.jal.2011.09.006},
    journal          = {Journal of Applied Logic},
    author           = {Boella, Guido and Governatori, Guido and Hulstijn, Joris and Riveret, R\'egis and Antonino, Rotolo
                        and van der Torre, Leendert},
    number           = {4},
    month            = nov,
    volume           = {9},
    year             = {2011},
    keywords         = {non-monotonic reasoning, agent communication languages, fipa},
    title            = {Time and Defeasibility in {FIPA} {ACL} Semantics},
    pages            = {274--288}


Served by Apache on Linux on seL4.