In certain multi-agent systems, the interactions between agents result in the formation of relationships, which can be leveraged for cooperative or collaborative activities. These relationships generally constrain individual-agent actions, since relationships imply that at least one contract (or mutual agreement) between the agents must exist. There is always some uncertainty as to whether or n...

Modeling abstract behavior is essential for intelligent agents under incomplete and uncertain environments. In this paper, we extend Propositional Dynamic Logic (PDL) to Propositional Abstract Dynamic Logic (PADL) for modeling abstract behavior in two aspects. On the one hand, we treat the task of finding a plan to achieve a certain formula as an abstract action. On the other hand, we explicitl...

Formula compilation by generation of prime implicates or implicants finds a wide range of applications in AI. Recent work on formula compilation by prime implicate/implicant generation often assumes a Conjunctive/Disjunctive Normal Form (CNF/DNF) representation. However, in many settings propositional formulae are naturally expressed in non-clausal form. Despite a large body of work on compilat...