-

-

in: Hilaire V., Koukam A., Gruer P. and Müller J.P.
"Formal Specification and Prototyping of Multi-agent Systems" (2001) 

--

in: Woolridge M. and Lomuscio A.
"A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results" (2000) 

Submit a bug

This document was generated by bib2html 4.0.
Copyright © 1998-05 Stéphane GALLAND (under the GNU General Public License)