Login / Signup

Time and defeasibility in FIPA ACL semantics.

Guido BoellaGuido GovernatoriJoris HulstijnRégis RiveretAntonino RotoloLeendert W. N. van der Torre
Published in: J. Appl. Log. (2011)
Keyphrases
  • fipa acl
  • logic programming
  • formal semantics
  • databases
  • agent communication language
  • mobile robot
  • lightweight
  • modal logic