UGenoa's Mechanized Reasoning Group has a new FTP archive, /pub/mrg-ftp on ftp.mrg.dist.unige.it. Topics include knowledge representation, modal logics, reasoning with contexts, logics for multi-agent belief and knowledge, interactive theorem proving, meta-level theorem proving, reasoning by abstraction, reasoning by analogy, planning, theory of planning. For hardcopy reports, contact Fausto Giunchiglia (fausto@irst.it). [Villafiorita Adolfo (adolfo@skolem.mrg.dist.unige.it), comp.ai, 5/11/94. David Joslin.]

The Logic Group at Stanford/CS is offering papers on Agent- Based Software Interoperation (ABSI) and the Agent Communication Language (ACL) based on KQML and KIF. Lucid Common Lisp software is also available, on http://logic.stanford.edu/knowledge.html. Other lisps would have to modify multiprocessing and the foreign function interface. [Narinder Singh (singh@hudson.stanford.edu), DAI-List, 5/26/94.]

The UMass/CS Distributed AI Lab has set up a WWW server for their projects and papers. Links point to resources such as UMichigan's MacMICE, KQML, the OZ project, and the DAI-List archive. http://dis.cs.umass.edu/. [Keith Decker (Decker@themis.cs.umass.edu), DAI-List, 5/26/94.]