Searching for authors named "Luciano Serafini" – sorted by Relevance.
-
Satisfiability for propositional contexts
- 2004, Whistler, Canada. Satisfiability for Propositional Contexts Luciano Serafini 1 1 ITC-IRST, Via
- Cited by 6 (5 self) – Add To MetaCart
-
Local Semantics for Federated Databases
- . Local Semantics for Federated Databases ? Luciano Serafini 1 , Chiara Ghidini 2 1 IRST -- Istituto
- Add To MetaCart
-
Minimal and absent information in contexts
- Minimal and Absent Information in Contexts Floris Roelofsen 1 and Luciano Serafini 2 1 Institute
- Cited by 1 (0 self) – Add To MetaCart
-
A Context-based Logic for Distributed Knowledge Representation and Reasoning
- ? and Luciano Serani 2 1 Department of Computation and Mathematics Manchester Metropolitan University
- Cited by 1 (0 self) – Add To MetaCart
-
Context Based Semantics for Federated Databases
- Context Based Semantics for Federated Databases Luciano Serani 1 Chiara Ghidini 2 1 IRST
- Cited by 6 (5 self) – Add To MetaCart
-
Context Based Semantics for Information Integration
- for Information Integration Luciano Serafini and Chiara Ghidini September 1997 Technical Report # 9709-01 c fl
- Cited by 2 (0 self) – Add To MetaCart
-
Local Models Semantics for Information Integration
- Semantics for Information Integration Serafini L., Ghidini C. February 1997 Technical Report # 9702-04 c fl
- Cited by 4 (3 self) – Add To MetaCart
-
Formalizing and Reasoning about Constraints in Federated Databases
- and Reasoning about Constraints in Federated Databases Luciano Serafini and Chiara Ghidini April 1997 Technical
- Cited by 3 (3 self) – Add To MetaCart
-
Foundation of Federated Databases, I: A Model Theoretic Perspective
- Databases, I: A Model Theoretic Perspective Chiara Ghidini and Luciano Serafini September 1997 Technical
- Cited by 2 (2 self) – Add To MetaCart
-
ML systems: A Proof Theory for Contexts
- ML systems: A Proof Theory for Contexts Luciano Serani (serafini@(email omitted);) ITC{IRST, Centro per la
- Cited by 12 (5 self) – Add To MetaCart

