Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 294
Titolo Data di pubblicazione Autore(i) File
Multilanguage First Order Theories of Propositional Attitudes 1-gen-1991 Giunchiglia, Fausto; Serafini, Luciano
La deduzione automatica 1-gen-1991 Giunchiglia, Fausto; Traverso, Paolo; Serafini, Luciano
Multilanguage hierarchical logics (or: how we can do without modal logics) 1-gen-1992 Giunchiglia, Fausto; Serafini, Luciano
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics 1-gen-1992 Giunchiglia, Fausto; Serafini, Luciano; Alex K., Simpson
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Armando, Alessandro; Paolo, Pecchiari
Non-Omniscient Belief as Context-Based Resoning 1-gen-1993 Giunchiglia, Fausto; Serafini, Luciano; Enrico, Giunchiglia; Marcello, Frixione
MRG: sistema di ragionamento 1-gen-1993 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Alessandro, Armando; Paolo, Pecchiari
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 1-gen-1993 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Armando, Alessandro; Paolo, Pecchiari
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) 1-gen-1994 G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics 1-gen-1994 Giunchiglia, Fausto; Serafini, Luciano
Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization 1-gen-1995 Cimatti, Alessandro; Serafini, Luciano
Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study 1-gen-1995 Cimatti, Alessandro; Serafini, Luciano
Agents as Reasoners, Observers, or Arbitrary Believers 1-gen-1995 Enrico, Giunchiglia; Giunchiglia, Fausto; Serafini, Luciano
Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance 1-gen-1995 Cimatti, Alessandro; Serafini, Luciano
Agents as Reasoners, Observers or Believers 1-gen-1995 Enrico, Giunchiglia; Giunchiglia, Fausto; Serafini, Luciano
Mechanizing Multi-Agent Reasoning with Belief Contexts 1-gen-1996 Cimatti, Alessandro; Serafini, Luciano
Local Semantics for Federated Databases 1-gen-1996 Serafini, Luciano; Ghidini, Chiara
Context-Based Formal Specification of Multi-Agent Systems 1-gen-1996 Massimo, Benerecetti; Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Serafini, Luciano
Context Based Semantics for Federated Databases 1-gen-1997 Serafini, Luciano; Ghidini, Chiara
Foundation of Federated Databases, I: A Model Theoretic Perspective 1-gen-1997 Ghidini, Chiara; Serafini, Luciano
Mostrati risultati da 1 a 20 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