μ-SATPLAN: Multi-agent planning as satisfiability.
Yannis DimopoulosMuhammad Adnan HashmiPavlos MoraitisPublished in: Knowl. Based Syst. (2012)
Keyphrases
- multi agent planning
- mutual exclusion
- planning domains
- partial observability
- planning problems
- long distance
- optimal plans
- multi agent
- orders of magnitude
- ai planning
- domain independent
- partially observable
- agent programming
- temporal planning
- classical planning
- computational complexity
- search strategies
- heuristic search
- np complete
- optimal planning
- probability distribution
- initial state
- bayesian networks
- search algorithm
- model checking