Commitments are a powerful representation for modeling multiagent protocols, especially for applications such as electronic commerce, where contracts are a natural component of the desired interactions. Previous approaches have considered the semantics of commitments and how to check compliance...