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