close this bookVolume 4: No. 22
View the documentFunding news
View the documentBusiness news
View the documentElectronic commerce
View the documentProjects
View the documentUpdates
View the documentArt and music
View the documentObituary -- Muriel Cooper
View the documentJob opportunities
View the documentBook and journal calls
View the documentDiscussion groups
View the documentInternet guides
View the documentInternet resources
View the documentLogic archives
View the documentNeural networks
View the documentConference management
View the documentComputists' news

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.]