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...

AI automated plan synthesis programs ("planners") typically represent plans as a partially ordered network whose nodes are instants in time and whose arcs are precedence constraints. Such representations are essentially PERT charts. This paper provides an introduction to AI planners and...