IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 294
Titolo Data di pubblicazione Autore(i) File
Local Models Semantics for Information Integration 1-gen-1997 Serafini, Luciano; Ghidini, Chiara
Formalizing and Reasoning about Constraints in Federated Databases 1-gen-1997 Serafini, Luciano; Ghidini, Chiara
Context Based Semantics for Federated Databases 1-gen-1997 Serafini, Luciano; Ghidini, Chiara
Model Theoretic Semantics for Information Integration 1-gen-1998 Ghidini, Chiara; Serafini, Luciano
Multiagent Systems Verification via Model Checking 1-gen-1998 Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano
Information Integration for Electronic Commerce 1-gen-1998 Ghidini, Chiara; Serafini, Luciano
Censimento delle fonti informative rilevanti per il Sistema Informativo della Protezione Civile 1-gen-1999 Serafini, Luciano; G., Tommasi
Primo nucleo di servizi di base per l'informatizzazione della Protezione Civile della Provincia Autonoma di Trento 1-gen-1999 Avesani, Paolo; A., Celli; Giunchiglia, Fausto; Serafini, Luciano
Definizione dei servizi di base per l'informatizzazione della protezione civile della Provincia Autonoma di Trento 1-gen-1999 Serafini, Luciano
A Context-based Logic for Distribution Knowledge Representation and Reasoning 1-gen-1999 Ghidini, Chiara; Serafini, Luciano
A context-based logic for distributed knowledge representation and reasoning 1-gen-1999 Ghidini, C.; Serafini, L.
Using wrapper agents to answer queries in distributed information systems 1-gen-2000 Serafini, Luciano; Ghidini, Chiara
Updating Mental States from Informative Communication 1-gen-2000 A. F., Dragoni; Paolo, Giorgini; Serafini, Luciano
Context Based Semantics for Information Integration 1-gen-2000 Serafini, Luciano; Ghidini, Chiara
Two formalizations of context: a comparison 1-gen-2000 Bouquet, Paolo; Serafini, Luciano
Distributed First Order Logics 1-gen-2000 Ghidini, Chiara; Serafini, Luciano
Using Wrapper Agents to Answer Queries in Distributed Information Systems 1-gen-2000 Serafini, Luciano; Ghidini, Chiara
A Context-Based Mechanization of Multi-Agent Reasoning 1-gen-2000 Cimatti, Alessandro; Serafini, Luciano
Updating Mental States from Communication 1-gen-2001 A. F., Dragoni; Paolo, Giorgini; Serafini, Luciano
Two formalizations of context: a comparison 1-gen-2001 Bouquet, Paolo; Serafini, Luciano
Mostrati risultati da 21 a 40 di 294
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile