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.
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study
1997-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
From Tableau-based to SAT-based procedures - preliminary report
1997-01-01 Sebastiani, Roberto; Giunchiglia, Fausto
Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità
2001-01-01 Ghidini, Chiara; Giunchiglia, Fausto
Model Checking Multiagent Systems
1997-01-01 Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano
Primo nucleo di servizi di base per l'informatizzazione della Protezione Civile della Provincia Autonoma di Trento
1999-01-01 Avesani, Paolo; A., Celli; Giunchiglia, Fausto; Serafini, Luciano
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE
1996-01-01 Caprile, Bruno Giovanni; T., Coianiz; Giunchiglia, Fausto; Lazzari, Giannino; Messelodi, Stefano; G., Musso
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem
1994-01-01 Bouquet, Paolo; Giunchiglia, Fausto
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective
2002-01-01 Armando, Alessandro; C., Castellini; E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
The Local Relational Model: Model and Proof Theory
2001-01-01 Serafini, Luciano; Giunchiglia, Fausto; Mylopoulos, John; Phil, Bernstein
The Tropos Modeling Language. A User Guide
2002-01-01 Sannicolò, Fabrizio; Perini, Anna; Giunchiglia, Fausto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study | 1-gen-1997 | Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo | |
From Tableau-based to SAT-based procedures - preliminary report | 1-gen-1997 | Sebastiani, Roberto; Giunchiglia, Fausto | |
Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità | 1-gen-2001 | Ghidini, Chiara; Giunchiglia, Fausto | |
Model Checking Multiagent Systems | 1-gen-1997 | Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano | |
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 | |
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE | 1-gen-1996 | Caprile, Bruno Giovanni; T., Coianiz; Giunchiglia, Fausto; Lazzari, Giannino; Messelodi, Stefano; G., Musso | |
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem | 1-gen-1994 | Bouquet, Paolo; Giunchiglia, Fausto | |
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective | 1-gen-2002 | Armando, Alessandro; C., Castellini; E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
The Local Relational Model: Model and Proof Theory | 1-gen-2001 | Serafini, Luciano; Giunchiglia, Fausto; Mylopoulos, John; Phil, Bernstein | |
The Tropos Modeling Language. A User Guide | 1-gen-2002 | Sannicolò, Fabrizio; Perini, Anna; 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