Albore, Alexandre
Albore, Alexandre
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
Bounded-Resource Reasoning as (Strong or Classical) Planning
2009-01-01 Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains
2004-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
Safe LTL Assumption-Based Planning
2006-01-01 Albore, Alexandre; Bertoli, Piergiorgio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Bounded-Resource Reasoning as (Strong or Classical) Planning | 1-gen-2009 | Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan | |
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains | 1-gen-2004 | 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 | |
Safe LTL Assumption-Based Planning | 1-gen-2006 | Albore, Alexandre; Bertoli, Piergiorgio |