A first order formalization of knowledge and action for a multi-agent planning system

Open in new window