RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture
2000-01-01 Blanzieri, Enrico; A., Ebranati; Giunchiglia, Fausto
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case)
1994-01-01 G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano
A Logic Level Specification of the NQTHM Simplification Process
1997-01-01 A., Coglio; Giunchiglia, Fausto; P., Pecchiari; C., Talcott
A Metatheory of a Mechnized Object Theory
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo
A Model Based Decision Procedure for Common Sense Temporal Reasoning
1997-01-01 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
A semantics for abstraction
2003-01-01 Ghidini, Chiara; Giunchiglia, Fausto
Biblioteca elettronica e biblioteca virtuale
1995-01-01 Giunchiglia, Fausto; Bouquet, Paolo; Traverso, Paolo
Bidirectional Reasoning
1995-01-01 Agostini, Alessandro; Giunchiglia, Fausto
Certification of Translators via Off-line and On-line Proof Logging and Checking
1997-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Designinig Coordination among Human and Software Agents
2002-01-01 Perini, Anna; Susi, Angelo; Giunchiglia, Fausto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture | 1-gen-2000 | Blanzieri, Enrico; A., Ebranati; Giunchiglia, Fausto | |
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) | 1-gen-1994 | G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano | |
A Logic Level Specification of the NQTHM Simplification Process | 1-gen-1997 | A., Coglio; Giunchiglia, Fausto; P., Pecchiari; C., Talcott | |
A Metatheory of a Mechnized Object Theory | 1-gen-1992 | Giunchiglia, Fausto; Traverso, Paolo | |
A Model Based Decision Procedure for Common Sense Temporal Reasoning | 1-gen-1997 | Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo | |
A semantics for abstraction | 1-gen-2003 | Ghidini, Chiara; Giunchiglia, Fausto | |
Biblioteca elettronica e biblioteca virtuale | 1-gen-1995 | Giunchiglia, Fausto; Bouquet, Paolo; Traverso, Paolo | |
Bidirectional Reasoning | 1-gen-1995 | Agostini, Alessandro; Giunchiglia, Fausto | |
Certification of Translators via Off-line and On-line Proof Logging and Checking | 1-gen-1997 | Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo | |
Designinig Coordination among Human and Software Agents | 1-gen-2002 | Perini, Anna; Susi, Angelo; Giunchiglia, Fausto |
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
Opzioni
Scopri
Tipologia
- 5 Altro 21
- 5 Altro::5.12 Altro 21
Data di pubblicazione
- 2000 - 2003 7
- 1992 - 1999 14
Keyword
- agent-oriented software engineering 1
- context 1
- coordination 1
- database 1
- distributed database 1
- information integration 1
- ingegneria del software 1
- multiagent system 1
- relational model 1
- sistemi multiagente 1
Lingua
- eng 17
- ita 4
Accesso al fulltext
- no fulltext 21