Alessandro Armando, Daniele Zini. Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture. In Antonio Corradi, Andrea Omicini, Agostino Poggi, editors, WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop From Objects to Agents : Evolutive Trends of Software Systems, 29-30 May 2000, Parma, Italy. pages 70-75, Pitagora Editrice Bologna, 2000.
Abstract is missing.