BibTeX
@MISC{Ghidini98distributedfirst,
author = {C. Ghidini and L. Serafini},
title = {Distributed First Order Logics},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ist and Wiksell, Stockholm, 1965. [ Serafini and Ghidini, 1997 ] L. Serafini and C. Ghidini. Context Based Semantics for Federated Databases. In Proceedings of the 1st International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97), pages 33--45, Rio de Jeneiro, Brazil, 1997. Also IRSTTechnical Report 9609-02, IRST, Trento, Italy. [ Subrahmanian, 1994 ] V.S. Subrahmanian. Amalgamating Knowledge Bases. ACM Trans. Database Syst., 19(2):291--331, 1994. [ Wiederhold, 1992 ] G. Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, 25(3):38--49, 1992. and complete calculus for DFOL based on ML systems. Finally we have compared our formalism with other formalisms for the representation and integration of distributed knowledge and reasoning systems. Acknowledgments. We thank all the people of the Mechanized Reasoning Group of IRST and DISA for useful discussions and feedb
