Publications

281. Luciano Serafini; Chiara Ghidini,
     Using wrapper agents to answer queries in distributed information systems,
     First International Conference on Advances in Information Systems (ADVIS`2000),
     Springer,
     vol. 1909,
     2000
     , pp. 331-
     340
282. Luciano Serafini; Chiara Ghidini,
     Using Wrapper Agents to Answer Queries in Distributed Information Systems,
     4th International Conference on Multi-Agent Systems (ICMAS 2000),,
     IEEE Computer Society,
     2000
     , pp. 429-
     430
283. Chiara Ghidini; Luciano Serafini,
     A Context-based Logic for Distribution Knowledge Representation and Reasoning,
     Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
     Springer,
     vol. 1688,
     1999
     , pp. 159-
     172
284. Luciano Serafini,
     Definizione dei servizi di base per l’informatizzazione della protezione civile della Provincia Autonoma di Trento,
     1999
285. Paolo Avesani; A. Celli; Fausto Giunchiglia; Luciano Serafini,
     Primo nucleo di servizi di base per l’informatizzazione della Protezione Civile della Provincia Autonoma di Trento,
     1999
286. Luciano Serafini; G. Tommasi,
     Censimento delle fonti informative rilevanti per il Sistema Informativo della Protezione Civile,
     1999
287. Chiara Ghidini; Luciano Serafini,
     Model Theoretic Semantics for Information Integration,
     8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA`98),
     Springer,
     vol. 1480,
     1998
     , pp. 267-
     280
288. Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini,
     Multiagent Systems Verification via Model Checking,
     1998 European Workshop on Validation and Verification of Knowledge-Based Systems [KR`98],
     1998
289. Ghidini, Chiara; Serafini, Luciano,
     Information Integration for Electronic Commerce,
     Proceedings of the First International Workshop on Agent Mediated Electronic Trading,
     Springer Verlag,
     vol. 1571,
     1998
     , pp. 189-
     206
290. Luciano Serafini; Chiara Ghidini,
     Context Based Semantics for Federated Databases,
     International and Interdisciplinary Conference on Modeling and Using Context [Context-97],
     1997
     , pp. 33-
     45
291. Luciano Serafini; Chiara Ghidini,
     Local Models Semantics for Information Integration,
     AAAI Fall symposium on Context in Knowledge Representation (KR) and Natural Language (NL),
     AAAI,
     1997
292. Luciano Serafini; Chiara Ghidini,
     Formalizing and Reasoning about Constraints in Federated Databases,
     1997
293. Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini,
     Model Checking Multiagent Systems,
     1997
294. Chiara Ghidini; Luciano Serafini,
     Foundation of Federated Databases, I: A Model Theoretic Perspective,
     1997
295. Alessandro Cimatti; Luciano Serafini,
     Mechanizing Multi-Agent Reasoning with Belief Contexts,
     Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
     Springer,
     1996
     , pp. 694-
     696
296. Massimo Benerecetti; Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
     Context-Based Formal Specification of Multi-Agent Systems,
     Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
     1996
     , pp. 295-
     307
297. Luciano Serafini; Chiara Ghidini,
     Local Semantics for Federated Databases,
     1996
298. Alessandro Cimatti; Luciano Serafini,
     Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization,
     IJCAI-95 Workshop on Modelling Context in Knowledge Representation and Reasoning,
     1995
     , pp. 35-
     45
299. Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
     Agents as Reasoners, Observers or Believers,
     Topics in Artificial Intelligence. Proceedings of the 4th Congresso AI*IA,
     Springer,
     vol. 992,
     1995
     , pp. 414-
     425
300. Alessandro Cimatti; Luciano Serafini,
     Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study,
     Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
     Springer,
     vol. 890,
     1995
     , pp. 71-
     85