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.
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.022 secondi).
AIPS2000 Workshop on Model-Theoretic Approaches to Planning, Beckeridge, Colorado, USA, April 14, 2000
2000-01-01 Traverso, Paolo; Giunchiglia, Fausto; Manuela, Veloso
Applied Formal Methods - FM-Trends 98
1999-01-01 D., Hutter; W., Stephan; Traverso, Paolo; M., Ullmann
Applied Formal Methods - FM-Trends 98. International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 (Proceedings)
1998-01-01 D., Hutter; W., Stephan; Traverso, Paolo; M., Ullmann
Automated Planning and Acting
2016-01-01 Ghallab, Malik; Nau, Dana; Traverso, Paolo
Automated Planning: Theory and Practice
2004-01-01 M., Ghallab; D., Nau; Traverso, Paolo
Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002)
2002-01-01 Malik, Ghallab; J., Hertzberg; Traverso, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| AIPS2000 Workshop on Model-Theoretic Approaches to Planning, Beckeridge, Colorado, USA, April 14, 2000 | 1-gen-2000 | Traverso, Paolo; Giunchiglia, Fausto; Manuela, Veloso | |
| Applied Formal Methods - FM-Trends 98 | 1-gen-1999 | D., Hutter; W., Stephan; Traverso, Paolo; M., Ullmann | |
| Applied Formal Methods - FM-Trends 98. International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 (Proceedings) | 1-gen-1998 | D., Hutter; W., Stephan; Traverso, Paolo; M., Ullmann | |
| Automated Planning and Acting | 1-gen-2016 | Ghallab, Malik; Nau, Dana; Traverso, Paolo | |
| Automated Planning: Theory and Practice | 1-gen-2004 | M., Ghallab; D., Nau; Traverso, Paolo | |
| Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002) | 1-gen-2002 | Malik, Ghallab; J., Hertzberg; Traverso, Paolo |
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.022 secondi).
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
- 3 Libro 6
- 3 Libro::3.1 Monografia o trattat... 6
Data di pubblicazione
- 2010 - 2016 1
- 2000 - 2009 3
- 1998 - 1999 2
Editore
- Springer 2
- AAAI Press 1
- Cambridge University Press 1
- Morgan Kaufmann 1
Lingua
- eng 6
Accesso al fulltext
- no fulltext 6