SAT-Based Cooperative Planning: A Proposal

Lecture Notes in Artificial Intelligence, pp. 494-513, 2005.

Cited by: 4|Bibtex|Views2|DOI:https://doi.org/10.1007/978-3-540-32254-2_28
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments