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

Open in new window