Multi-agent Planning