Proof Planning in Multi-Agent Environment

Pěchouček, M.

PĚCHOUČEK, M. Proof Planning in Multi-Agent Environment. Unpublished Lecture. University of London Department of EE. 1998-03-27.