Proof Planning in Multi-Agent Systems

Pěchouček, M.

PĚCHOUČEK, M. Proof Planning in Multi-Agent Systems. [Unpublished Lecture] University of Edinburgh Department of AI. 1998-03-24.