Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains
2004-01-01 Albore, Alexandre; Bertoli, Piergiorgio
Safe LTL Assumption-Based Planning
2006-01-01 Albore, Alexandre; Bertoli, Piergiorgio
Model-checking memory requirements of resource-bounded reasoners
2006-01-01 Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano
Bounded-Resource Reasoning as (Strong or Classical) Planning
2009-01-01 Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains | 1-gen-2004 | Albore, Alexandre; Bertoli, Piergiorgio | |
Safe LTL Assumption-Based Planning | 1-gen-2006 | Albore, Alexandre; Bertoli, Piergiorgio | |
Model-checking memory requirements of resource-bounded reasoners | 1-gen-2006 | Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano | |
Bounded-Resource Reasoning as (Strong or Classical) Planning | 1-gen-2009 | Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan |
Mostrati risultati da 1 a 4 di 4
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