Logic of contexts

• Floris Roelofsen and Luciano Serafini.Minimal and absent information in contexts. In 19th IJCAI}, 2005. To appear.
  
  
• Serafini L and Roelofsen F. Satisfiability for Propositional Contexts} In Principles of Knowledge Representation and Reasoning (KR' 04), pages 369--376. Morgan Kaufmann, 2004.

• Serafini L and Roelofsen F. Complexity of contextual reasoning. In Proceeding the 19th National Conference on Artificial Intelligence (AAAI-04). Morgan Kaufmann, 2004. Accepted for publication.

• F. Roelofsen, L. Serafini, and A.Cimatti. Symbolic contextual reasoning. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), 2004. Accepted for publication.
• Giunchiglia F., Serafini L. Multilanguage Hierarchical Logics (or: How we can do without modal logics), Artificial Intelligence, vol. 65, pp. 29-70, 1994.

• G. Criscuolo, F. Giunchiglia, and L. Serafini, A Foundation for Metareasoning Part I: The Proof Theory. Journal of Logic and Computation, vol 12, No 1, pp 167-208, 2002
• G. Criscuolo, F. Giunchiglia, and L. Serafini, A Foundation for Metareasoning Part II: The Model Theory. Journal of Logic and Computation, vol 12, No 3, pp 345-370, 2002
• L. Serafini, F. Giunchiglia, ML systems: A Proof Theory for Contexts. Journal of Logic, Language and Information Spring 2002, Volume 11, Issue 4 pp. 471-518 ITC-IRST Technical Report 0006-01.
• Ghidini C., Serafini L. Distributed First Order Logics. In D.M. Gabbay and M. De Rijke, editors, Frontiers of Combining Systems 2, Studies in Logic and Computation, No. 7, Research Studies Press Ltd. Baldock, Hertfordshire, England, UK, 2000, pp. 121-139.

• P. Bouquet, L. Serafini, Two formalisms for context: a comparison. ITC-IRST Technical Report 0102-02. Third International and Interdisciplinary Conference on Modelling and Using Context, Context-01, Dundee, Scotland, August 2001.
• P.Bouquet and L. Serafini. On the difference between bridge rules and lifting axioms. In P. Blackburn, C. Ghidini, R.M. Turner, and F. Giunchiglia, editors, Proceedings of the 4th International and Interdisciplinary COnference on Modeling and Using Context (CONTEXT-03), volume 2680 of LNAI, pages 80--93. Springer Verlag, 2003.
• L. Serafini and P. Bouquet Comparing Formal Theories of Context in AI Artificial Intelligence Journal 155:41--67, 2004. ITC-IRST Technical Report 0201-02
• Giunchiglia F., Serafini L., Simpson A., Hierarchical meta-logics: intuitions, proof theory and semantics, In "Proceedings. META-92, 3rd Intnl. Workshop on Metaprogramming in Logic", Uppsala, Sweden, pp. 235-249, Springer Verlag, 1992.

Formalization and verification of multi agent systems

P. Bouquet, L. Serafini, and S. Zanobini. Semantic coordination in systems of autonomous agents: the approache and an implementation May 2003. Proceedings of the workshop dagli Oggetti agli Agenti Sistemi Intelligenti e Computazione Pervasiva WOA 2003.
• M. Benerecetti, F. Giunchiglia, and L. Serafini MultiAgent Model Checking August 1997. Computational & Logical Aspects of Multi-Agent Systems, special Issue of the Journal of Logic and Computation.

• M. Benerecetti, E. Giunchiglia, L. Serafini, A. Villafiorita: Formal specification of beliefs in multi-agent systems. In International Journal of Intelligent Systems, 14:1021-1040, October 1999. Ronald R. Yager, Editor.

• Giunchiglia F., Serafini L., Giunchiglia E., Frixione M., Non-omniscient belief as context-based reasoning
  June 1992. In Proceedings "IJCAI-93, 13th International Joint Conference on Artificial Intelligence", Chambery, France, 1993.

• Cimatti A., Serafini L., "Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study", In M. Wooldridge and N. Jennings (eds.), "Proceedings ECAI-94 workshop on Agent Theories, Architectures and Languages", LNCS series, Springer Verlag, 1994.
  

• Cimatti A., Serafini L. "Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance" .In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57-64, 1996.

• Cimatti A., Serafini L., "Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization". In P. Brezillon and S. Abu-Hakima, editors, Proceedings. of the IJCAI-95 Workshop on "Modelling Context in Knowledge Representation and Reasoning", pp. 35-45, 1995.

Coordination of heterogeneous information systems

• Luciano Serafini, Heiner Stickenschmidt, and Holger Wache. A formal investigation of mapping language for terminological knowledge. In 19th IJCAI, 2005. To appear. Also ITC-IRST Technical Report No T05-02-03.

• Luciano Serafini, Alex Borgida, and Andrei Tamilin. Aspects of distributed and modular ontology reasoning. In 19th IJCAI, February 2005.  Also ITC-IRST Technical Report No T05-02-03.
  

• L. Serafini and A. Tamilin. DRAGO: Distributed reasoning architecture for the semantic web. Technical Report T04-12-05, ITC-irst, December 2004.

• L. Serafini and A. Tamilin. Local tableaux for reasoning in distributed description logics In V. Haarslev and R.Moeller, editors, Proceedings of the 2004 Intl. Workshop on Description Logics (DL2004), pages 100--109. CEUR-WS, 2004
• E. Franconi, G. Kuper, A. Lopatenko, and L. Serafini. A robust logical and computational characterisation of peer-to-peer database systems. In International Workshop on Databases, Information Systems and Peer-to-Peer Computing, 2003.

• A. Borgida and L. serafini Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics, 1:153-184, 2003. Editor in Chief S. Spaccapietra. LNCS 2800, Springer Verlag.
• A. Borgida and L. Serafini Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. In R. Meersman and Z. Tari, editors, On The Move to Meaningful Internet Systems 2002: CoopIS, Doa, and ODBase, volume 2519 of LNCS, pages 36--53. Springer Verlag, 2002
• Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, and Ilya Zaihrayeu Data Management for Peer-to-Peer Computing: A Vision. WebDB 2002: Fifth International Workshop on the Web and Databases.ITC-IRST Technical Report 0204-15
• Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, and Philip A Bernstein The Local Relational Model: Model and Proof Theory. IRST Technical Report 0112-23, Istituto Trentino di Cultura, December 2001.

• Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, and Philip A Bernstein Local Relational Model: a logical formalization of database coordination in P. Blackburn, C. Ghidini, R.M. Turner, F. Giunchiglia (Eds.): Modeling and Using Context 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 LNAI 2680, page 286-299, Springer Verlag, 2003.

• A. Borgida and L. Serafini Distributed Description Logics - Preliminary investigations. Proceedings of DL-2002, KR workshop on Description Logics 2002", Edited by Ian Horrocks and Sergio Tessaris, University of Manchester, UK. ITC-IRST Technical Report 0204-14
• Serafini L., Ghidini C. Using wrapper agents to answer queries in distributed information Systems. Proceedings of the First Biennial International Conference on Advances in Information Systems (ADVIS-2000) 25-27 October 2000 Izmir, TURKEY.

• Chiara Ghidini and Luciano Serafini, Information Integration for Electronic Commerce. In C. Sierra and P. Noriega, editors, Proceedings of the Workshop on Agent Mediated Electronic Trading (AMET'98), volume 1571 of LNAI, pages 189-206, Minneapolis, USA, May, 10 1998. Springer Verlag.

Context update and revision

• Dragoni A.F., Giorgini P., Serafini L. Mental State Recognition from Communication Journal of Logic and Computation, Vol. 12, N. 1, pp. 119-136. ITC-IRST Technical Report 0007-03.
• Dragoni A.F., Giorgini P., Serafini L. Updating Mental States from Communication To appear in the proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000) Boston, USA

• A. Dona' and L. Serafini Updating Contexts. Proceedings of KR-2002. ITC-IRST Technical Report 0111-23

Nossum R., Serafini L., Multicontext logic for semigroups of contexts, In proceedings of AISC 2002 Conference. Artificial Intelligence and Symbolic Computation. Theory, Implementations and Applications. In conjunction with Calculemus 2002. LNAI 2385, p. 90-102. ITC-irst, Technical report #0202-03

Semantic coordination

• Paolo Bouquet, Luciano Serafini, and Stefano Zanobini. Semantic coordination of heterogeneous classifications schemas. In H.~Stuckenschmidt S.Staab, editor, Semantic Web and Peer-to-Peer. Springer Verlag, 2005. To appear.
  

• H. Stuckenschmidt, F. van Harmelen, L. Serafini, P. Bouquet, and F.~Giunchiglia. Using {C-OWL} for the alignment and merging of medical ontologies In First International Workshop on Formal Biomedical Knowledge Representation. Collocated with KR 2004, February 2004
• P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt. {C-OWL}: Contextualizing ontologies. In Sencond Internatinal Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, pages 164-179. Springer Verlag, 2003.
• B. Magnini, L. Serafini, and M. Speranza. Making explicit the semantics hidden in schema models, Technical Report 0306-07, ITC-IRST, June 2003. Presented at the Human Language Technology for the Semantic Web and Web Services, Workshop at ISWC 2003 International Semantic Web Conference.
• P. Bouquet, L. Serafini, and S. Zanobini. Semantic coordination: a new approach and an application, In Sencond Internatinal Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, pages 130--145. Springer Verlag, September 2003.
• P. Bouquet, L. Serafini, and S. Zanobini, and M. Benerecetti. An algorithm for semantic coordination. Technical Report ????-??, IRST, 2003. Presented at the Semantic Integration workshop at ISWC-03 (International Semantic Web Conference) 2003.
• M. Bonifacio, A. Dona', A. Molani, and L. Serafini Context Matching for Electronic Marketplaces - a case study. The Knowledge Engineering Review 18:4 pag. 317-328, 2004.
• Bernardo Magnini, Luciano Serafini, and Manuela Speranza Making explicit the hidden semantics of hierarchical classification. In Atti dell'Ottavo Congresso Nazionale dell'Associazione Italiana per l'Intelligenza Artificiale, LNCS. Springer Verlag, 2003.

• Bernardo Magnini, Luciano Serafini and Manuela Speranza Using NLP Techniques for Meaning Negotiation VIII Convegno AI*IA, Siena, 11-13 September 2002. Workshop on NLP e Web: la sfida della multimodalita` tra approcci simboloci e approcci statistici.

• Bernardo Magnini, Luciano Serafini and Manuela Speranza Linguistic Based Matching of Local Ontologies AAAI-02 Workshop on Meaning Negotiation (MeaN-02) July 28, 2002, Edmonton, Alberta, Canada

• Paolo Bouquet, Antonia. Dona', Luciano Serafini and Stefano Zanobini Contextualized local ontologies specification via CTXML AAAI-02 Workshop on Meaning Negotiation (MeaN-02) July 28, 2002, Edmonton, Alberta, Canada

• P. Bouquet, B. Magnini, L. Serafini, and S. Zanobini. A SAT-based algorithm for context matching. In P. Blackburn, C. Ghidini, R.M. Turner, and F. Giunchiglia, editors, Proceedings of the 4th International and Interdisciplinary COnference on Modeling and Using Context (CONTEXT-03), volume 2680 of LNAI, pages 66--79. Springer Verlag, 2003.

Quantum computing

• S. Bettelli, T. Calarco and L. Serafini Toward an architecture for quantum programming The European Physical Journal D 25, 181-200 (2003)

Multi agent architectures

• P. Busetta, L. Serafini, D. Singh and F. Zini Extending multi-agent cooperation by overhearing. To appear in Proc. the Sixth International Conference on Cooperative Information Systems (CoopIS 2001). ITC-IRST Technical Report 0101-01
• M. Aiello, P. Busetta, A. Dona' and L. Serafini. Ontological Overhearing. To appear in Proc. of 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), Seattle, USA, August 2001. ITC-IRST Technical Report 0104-15.

GRID computing

• D.G. Cameron, R. Carvajal-Schiaffino, C. Nicholson, K. Stockinger, F. Zini, A.P. Millar, and L. Serafini. Analysis of an agent-based grid optimisation strategy. In Omer Rana, editor, {\em Software Agents and Grid Computing}. IOS Press, 2004. To appear.
• L. Serafini, K. Stockinger, H. Stockinger, and F. Zini Agent-Based Query Optimization in a Grid Environment In Proceedings of the IASTED International Conference on Applied Informatics (AI 2001), Innsbruck, Austria, February 2001. IRST Technical Report 0011-42, Istituto Trentino di Cultura, November 2000.

Printable publication list