Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
A Robust Logical and - Computational Characterisation Of Self-citation (Serafini) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
D2.2.1 Specification of a common framework for.. - Bouquet, Ehrig.. Self-citation (Serafini) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
A Robust Logical and Computational.. - Franconi, Kuper.. (2003) (5 citations) Self-citation (Serafini) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
Centro Per La Ricerca - Scientifica Tecnologica Povo Self-citation (Ghidini) (Correct)
No context found.
C. Ghidini and L. Serafini. Distributed First Order Logics. In D. Gabbay and M. de Rijke, editors, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pages 121--140. Research Studies Press, 1998. 14
Local Tableaux for Reasoning in Distributed Description Logics - Serafini, Tamilin Self-citation (Serafini) (Correct)
No context found.
C.Ghidini and L.Serafini. Distributed first order logics. In Proc.oftheFrontiers of Combining Systems, pages 121--139, 2000.
Centro Per La Ricerca - Scientifica Tecnologica Povo Self-citation (Serafini) (Correct)
No context found.
Ghidini, C., Serafini, L.: Distributed First Order Logics. In Gabbay, D., de Rijke, M., eds.: Frontiers Of Combining Systems 2. Studies in Logic and Computation. Research Studies Press (1998) 121--140
Local Tableaux for Reasoning in Distributed Description Logics - Serafini, Tamilin Self-citation (Serafini) (Correct)
No context found.
C.Ghidini and L.Serafini. Distributed first order logics. In Proc.oftheFrontiers of Combining Systems, pages 121--139, 2000.
Distributed Description Logics: Preliminary Investigations - Borgida, Serafini Self-citation (Ni) (Correct)
No context found.
C. Ghidini and L. Sera ni. Distributed First Order Logics. In D. Gabbay and M. de Rijke, editors, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pages 121-140. Research Studies Press, 1998.
A Semantics For Abstraction - Ghidini, al. (2003) (1 citation) Self-citation (Ghidini) (Correct)
No context found.
C. Ghidini and L. Serafini. Distributed First Order Logics. In D. Gabbay and M. de Rijke, editors, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pages 121--140. Research Studies Press, 1998. 14
A Robust Logical and Computational.. - Franconi, Kuper.. (2003) (5 citations) Self-citation (Serafini) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
The coDB Robust Peer-to-Peer Database System - Enrico Franconi Gabriel (2004) (1 citation) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
Queries and Updates in the coDB Peer to Peer Database.. - Franconi, Kuper.. (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
Ontology-Extended Component-Based Workflows: A Framework .. - Pathak, Caragea, Honavar (Correct)
No context found.
Ghidini, C., Serafini, L.: Distributed first order logics. In: Frontiers of Combining Systems 2. Volume 7. (2000) 121--139
Queries and Updates in the Peer to Peer Database System - Franconi, Kuper.. (2004) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
Distributed Description Logics: Directed Domain . . . - Bordiga, Serafini (2002) (Correct)
No context found.
C. Ghidini and L. Sera ni. Distributed First Order Logics. In D. Gabbay and M. de Rijke, editors, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pages 121-140. Research Studies Press, 1998.
Distributed Description Logics: Assimilating . . . - Bordiga, Serafini (Correct)
No context found.
C. Ghidini and L. Sera ni. Distributed First Order Logics. In D. Gabbay and M. de Rijke, editors, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pages 121-140. Research Studies Press, 1998.
The coDB Robust Peer-to-Peer Database System - Franconi, Kuper, Lopatenko.. (2004) (1 citation) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
Centro Per La Ricerca - Scientifica Tecnologica Povo (Correct)
No context found.
C. Ghidini and L. Sera ni. Distributed First Order Logics. In D. Gabbay and M. de Rijke, editors, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pages 121-140. Research Studies Press, 1998.
Centro Per La Ricerca - Scientifica Tecnologica Povo (Correct)
No context found.
C. Ghidini and L. Sera ni. Distributed First Order Logics. In D. Gabbay and M. de Rijke, editors, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pages 121-140. Research Studies Press, 1998.
Queries and Updates in the coDB Peer to Peer Database.. - Franconi, Kuper.. (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
Queries and Updates in the coDB Peer to Peer Database.. - Franconi, Kuper.. (2004) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
Rules and Queries with Ontologies: Unified Logical Framework - Franconi, Tessaris (2004) (2 citations) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
The coDB Robust Peer-to-Peer Database System - Franconi, Kuper, Lopatenko, al. (2004) (1 citation) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
No context found.
C. Ghidini and L. Serafini. Distributed first order logics. In M. de Rijke and D. Gabbay, editors, Proc. of the 2nd International Workshop on Frontiers of Combining Systems (FroCoS '98). Research Studies Press, 1999.
The coDB Robust Peer-to-Peer Database System - Franconi, Kuper, Lopatenko.. (2004) (1 citation) (Correct)
No context found.
Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC