| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Luciano Serafini 26 Mark Carman , Luciano Serafini: Planning For Web Services the Hard Way. SAINT Workshops 2003 : 73-77 25 Rolf Nossum , Luciano Serafini: Multicontext Logic for Semigroups of Contexts. AISC 2002 : 90-101 24 Alexander Borgida , Luciano Serafini: Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. CoopIS/DOA/ODBASE 2002 : 36-53 23 Marco Aiello , Mike P. Papazoglou , Jian Yang , Mark Carman , Marco Pistore , Luciano Serafini, Paolo Traverso : A Request Language for Web-Services Based on Planning and Constraint Satisfaction. TES 2002 : 76-85 22 Philip A. Bernstein , Fausto Giunchiglia , Anastasios Kementsietsidis , John Mylopoulos , Luciano Serafini, Ilya Zaihrayeu : Data Management for Peer-to-Peer Computing : A Vision. WebDB 2002 : 89-94 21 Luciano Serafini, Fausto Giunchiglia : ML Systems: A Proof Theory for Contexts. Journal of Logic, Language and Information 11 (4): 471-518 (2002) 20 Marco Aiello , Paolo Busetta , Antonia Donà , Luciano Serafini: Ontological Overhearing. ATAL 2001 : 175-189 19 Paolo Bouquet , Luciano Serafini: Two Formalizations of Context: A Comparison. CONTEXT 2001 : 87-101 18 Paolo Busetta , Luciano Serafini, Dhirendra Singh , Floriano Zini : Extending Multi-agent Cooperation by Overhearing. CoopIS 2001 : 40-52 17 Luciano Serafini, Chiara Ghidini : Using Wrapper Agents to Answer Queries in Distributed Information Systems. ADVIS 2000 : 331-340 16 Aldo Franco Dragoni , Paolo Giorgini , Luciano Serafini: Updating Mental States from Communication. ATAL 2000 : 15-30 15 Aldo Franco Dragoni , Paolo Giorgini , Luciano Serafini: Updating mental states from informative communication. Agents 2000 : 231-232 14 Paolo Bouquet , Luciano Serafini, Patrick Brézillon , Massimo Benerecetti , F. Castellani : Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings. Springer 1999 13 Chiara Ghidini , Luciano Serafini: A Context-Based Logic for Distributed Knowledge Representation and Reasoning. CONTEXT 1999 : 159-172 12 Chiara Ghidini , Luciano Serafini: Model Theoretic Semantics for Information Integration. AIMSA 1998 : 267-280 11 Chiara Ghidini , Luciano Serafini: Information Integration for Electronic Commerce. AMET 1998 : 189-206 10 Massimo Benerecetti , Fausto Giunchiglia , Luciano Serafini: A Model Checking Algorithm for Multiagent Systems. ATAL 1998 : 163-176 9 Massimo Benerecetti , Fausto Giunchiglia , Luciano Serafini: Model Checking Multiagent Systems. Journal of Logic and Computation 8 (3): 401-423 (1998) 8 Massimo Benerecetti , Alessandro Cimatti , Enrico Giunchiglia , Fausto Giunchiglia , Luciano Serafini: Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996 : 117-130 7 Alessandro Cimatti , Luciano Serafini: Mechanizing Multi-Agent Reasoning with Belief Contexts. FAPR 1996 : 694-696 6 Enrico Giunchiglia , Fausto Giunchiglia , Luciano Serafini: Agents as Reasoners, Observers or Believers. AI*IA 1995 : 414-425 5 Alessandro Cimatti , Luciano Serafini: Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study. ECAI Workshop on Agent Theories, Architectures, and Languages 1994 : 71-85 4 Fausto Giunchiglia , Luciano Serafini: Multilanguage Hierarchical Logics or: How we can do Without Modal Logics. Artificial Intelligence 65 (1): 29-70 (1994) 3 Fausto Giunchiglia , Luciano Serafini, Enrico Giunchiglia , Marcello Frixione : Non-Omniscient Belief as Context-Based Resoning. IJCAI 1993 : 548-554 2 Fausto Giunchiglia , Luciano Serafini, Alex K. Simpson : Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. META 1992 : 235-249 1 Fausto Giunchiglia , Luciano Serafini: Mulitlanguage First Order Theories of Propositional Attitudes. SCAI 1991 : 228-240  DiSC'03 © 2003 Association for Computing Machinery |
