Publications

241. Paolo Bouquet; Luciano Serafini; S. Zanobini; Massimo Benerecetti,
     An Algorithm for Semantic Coordination,
     Semantic Integration Workshop (SI-2003). Second International Semantic Web Conference,
     CEUR-WS.org,
     2003
     , pp. 21-
     26
242. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
     Making Explicit the Semantics Hidden in Schema Models,
     Workshop on Human Language Technology for Semantic Web and Web Services. Proceedings of the ISWC 2003 Workshop,
     2003
     , pp. 23-
     37
243. Alex Borgida; Luciano Serafini,
     Distributed Description Logics: Assimilating Information from Peer Sources,
     Journal on Data Semantics I,
     Springer,
     vol. 2800,
     2003
     , pp. 153-
     184
244. Stefano Bettelli; Tommaso Calarco; Luciano Serafini,
     Toward an architecture for quantum programming,
     in «THE EUROPEAN PHYSICAL JOURNAL. D, ATOMIC, MOLECULAR AND OPTICAL PHYSICS»,
     EDP Sciences,
     vol. 25,
     2003
     , pp. 181-
     200
245. Paolo Bouquet; Fausto Giunchiglia; Harmelen Frank van; Luciano Serafini; Heiner Stuckenschmidt,
     C-OWL: Contextualizing Ontologies,
     The Semantic Web - ISWC 2003. Proceedings of the Second International Semantic Web Conference,
     Springer,
     vol. 2870,
     2003
     , pp. 164-
     179
246. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
     Making Explicit the Hidden Semantics of Hierarchical Classifications,
     AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence,
     Springer,
     vol. 2829,
     2003
     , pp. 436-
     448
247. Alex Borgida; Luciano Serafini,
     Distributed Description Logics: Assimilating Information from Peer Sources,
     2003
248. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
     Making Explicit the Semantics Hidden in Schema Models,
     2003
249. Paolo Bouquet; Luciano Serafini; S. Zanobini,
     Semantic Coordination: A New Approach and an Application,
     2003
250. Mark James Carman; Luciano Serafini,
     Planning For Web Services the Hard Way,
     2003 Symposium on Applications and the Internet Workshops (SAINT 2003),
     IEEE Computer Society,
     2003
     , pp. 73-
     77
251. G. Criscuolo; Fausto Giunchiglia; Luciano Serafini,
     A Foundation for Metareasoning Part I: The Proof Theory,
     in «JOURNAL OF LOGIC AND COMPUTATION»,
     Oxford University Press,
     vol. 12,
     n. 1,
     2002
     , pp. 167-
     208
252. Luciano Serafini; Fausto Giunchiglia,
     ML systems: A Proof Theory for Contexts,
     Springer,
     vol. 11,
     n. 4,
     2002
     , pp. 471-
     518
253. G. Criscuolo; Fausto Giunchiglia; Luciano Serafini,
     A Foundation for Metareasoning. Part II: The model theory,
     in «JOURNAL OF LOGIC AND COMPUTATION»,
     Oxford University Press,
     vol. 12,
     n. 3,
     2002
     , pp. 345-
     370
254. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
     Linguistic Based Matching of Local Ontologies,
     Workshop on Meaning Negotiation 2002,
     2002
     , pp. 42-
     50
255. M. Aiello; Paolo Busetta; A. Donà; Luciano Serafini,
     Ontological Overhearing,
     Intelligent Agents VIII, 8th International Workshop, ATAL 2001,
     Springer,
     vol. 2333,
     2002
     , pp. 175-
     189
256. Antonia Donà; Luciano Serafini,
     Updating Contexts,
     KR2002: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning,
     Morgan Kaufmann,
     2002
     , pp. 251-
     264
257. Mark James Carman; Floriano Zini; Luciano Serafini; K. Stockinger,
     Towards an Economy-Based optimisation of File Access and Replication on a Data Grid,
     2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002),
     IEEE Computer Society,
     2002
     , pp. 340-
     345
258. Rolf Nossum; Luciano Serafini,
     Multicontext logic for semigroups of contexts,
     Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002,
     Springer,
     2002
     , pp. 90-
     101
259. Luciano Serafini; A. Donà; Paolo Bouquet,
     Context Markup Language (CTXML),
     2002
260. Alex Borgida; Luciano Serafini,
     Distributed Description Logics – Preliminary investigations,
     International Workshop on Description Logics [DL2002],
     CEUR-WS.org,
     2002