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.