SAT-Based Cooperative Planning: A Proposal.
Marco BenedettiLuigia Carlucci AielloPublished in: Mechanizing Mathematical Reasoning (2005)
Keyphrases
- cooperative
- ai planning
- planning problems
- planning domains
- classical planning
- plan quality
- heuristic search
- domain independent
- multi agent systems
- sat encodings
- answer set programming
- planning under uncertainty
- optimal planning
- bounded model checking
- motion planning
- domain specific
- cooperative learning
- blocks world
- decision theoretic
- logic programming
- optimal plans
- multi agent