Publications

261. Phil Bernstein; Fausto Giunchiglia; A. Kementsietsidis; John Mylopoulos; Luciano Serafini; Ilya Zaihrayeu,
     Data Management for Peer-to-Peer Computing: A Vision,
     Fifth International Workshop on the Web and Databases [WebDB 2002],
     2002
262. Bernardo Magnini; Luciano Serafini; Manuela Speranza; S. Zanobini,
     CTXMATCH – A reference schema for Context Matching (V. 1.0),
     2002
263. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
     Using NLP Techniques for Meaning Negotiation,
     VIII Convegno AI*IA,
     2002
264. Alex Borgida; Luciano Serafini,
     Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources,
     On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE,
     Springer,
     vol. 2519,
     2002
     , pp. 36-
     53
265. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
     Making Hidden Semantics of Hierarchical Classifications Explicit,
     2002
266. M. Aiello; Mike P. Papazoglou; J. Yang; Mark James Carman; Marco Pistore; Luciano Serafini; Paolo Traverso,
     A Request Language for Web-Services Based on Planning and Constraint Satisfaction,
     Technologies for E-Services, Third International Workshop, TES 2002, Proceedings,
     Springer,
     vol. 2444,
     2002
     , pp. 76-
     85
267. A.F. Dragoni; Paolo Giorgini; Luciano Serafini,
     Updating Mental States from Communication,
     Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000,
     Springer,
     vol. 1986,
     2001
     , pp. 15-
     30
268. A.F. Dragoni; Paolo Giorgini; Luciano Serafini,
     Mental State Recognition from Communication,
     in «JOURNAL OF LOGIC AND COMPUTATION»,
     Oxford University Press,
     vol. 12,
     n. 1,
     2001
     , pp. 119-
     136
269. Luciano Serafini; H. Stockinger; K. Stockinger; Floriano Zini,
     Agent-Based Query Optimization in a Grid Environment,
     IASTED International Conference. Applied Informatics, Symposium 2: Networks, Parallel and Distributed Processing, and Applications,
     Acta Press,
     2001
     , pp. 106-
     111
270. Paolo Busetta; Luciano Serafini; D. Singh; Floriano Zini,
     Extending Multi-Agent Cooperation by Overhearing,
     Cooperative Information Systems, Proceedings of the 9th International Conference CoopIS 2001,
     Springer,
     vol. 2172,
     2001
     , pp. 40-
     52
271. Paolo Bouquet; Luciano Serafini,
     Two formalizations of context: a comparison,
     CONTEXT`01: Third International and Interdisciplinary Conference on Modeling and Using Context,
     Springer,
     vol. 2116,
     2001
     , pp. 87-
     101
272. Luciano Serafini,
     Quantificational logic of contexts revisited,
     2001
273. Paolo Busetta; Mark James Carman; Luciano Serafini; K. Stockinger; Floriano Zini,
     Grid Query Optimisation in the Data Grid,
     2001
274. Luciano Serafini; Fausto Giunchiglia; John Mylopoulos; Phil Bernstein,
     The Local Relational Model: Model and Proof Theory,
     2001
275. Stefano Bettelli; Tommaso Calarco; Luciano Serafini,
     Toward an architecture for quantum programming,
     2001
276. Paolo Bouquet; Luciano Serafini,
     Two formalizations of context: a comparison,
     2000
277. Alessandro Cimatti; Luciano Serafini,
     A Context-Based Mechanization of Multi-Agent Reasoning,
     Formal Aspects of Context,
     Kluwer,
     vol. 20,
     2000
     , pp. 65-
     83
278. Luciano Serafini; Chiara Ghidini,
     Context Based Semantics for Information Integration,
     Formal Aspects of Context,
     Kluwer,
     vol. 20,
     2000
     , pp. 175-
     192
279. Chiara Ghidini; Luciano Serafini,
     Distributed First Order Logics,
     Frontiers of Combining Systems, Second International Symposium (FroCos 1998),
     n. 7,
     2000
     , pp. 121-
     139
280. A.F. Dragoni; Paolo Giorgini; Luciano Serafini,
     Updating Mental States from Informative Communication,
     AGENTS 2000, Proceedings of the fourth international conference on Autonomous agents,
     ACM,
     2000
     , pp. 231-
     232