SAT-Based Cooperative Planning: A Proposal
Lecture Notes in Artificial Intelligence, pp. 494-513, 2005.
We present a work-in-progress on distributed planning, which relies on the "planning as satisfiability" paradigm. It allows for multi- agent cooperative planning by joining SAT-based planning and a par- ticular approach to distributed propositional satisfiability. Each agent is thus enabled to plan on its own and communicate with other ag...More
Full Text (Upload PDF)
PPT (Upload PPT)