ABSTRACT
We assume the agents are abductive logic-based agents. Such agents have been described in [10] and an agent architecture based on computational logic, with several components based on abductive logic programming, is described in [7, 4]. We further assume that the knowledge the agents use for planning is based on an abductve form of the event calculus [11], for example as described in [12].
