Sfoglia per Titolo
Planning as executable actions: a first step towards a theory of reactive planning
1995-01-01 Traverso, Paolo
Planning as Model Checking
2000-01-01 Giunchiglia, Fausto; Traverso, Paolo
Planning as Model Checking for Extended Goals in Non-deterministic Domains
2001-01-01 Pistore, Marco; Traverso, Paolo
Planning Brain Tumor Resection Using a Probabilistic Atlas of Cortical and Subcortical Structures Critical for Functional Processing: A Proof of Concept
2021-01-01 Sarubbo, Silvio; Annicchiarico, Luciano; Corsini, Francesco; Zigiotto, Luca; Herbet, Guillaume; Moritz-Gasser, Sylvie; Dalpiaz, Chiara; Vitali, Luca; Tate, Matthew; De Benedictis, Alessandro; Amorosino, Gabriele; Olivetti, Emanuele; Rozzanigo, Umberto; Petralia, Benedetto; Duffau, Hugues; Avesani, Paolo
Planning for Learning Object Properties
2023-01-01 Lamanna, Leonardo; Serafini, Luciano; Faridghasemnia, Mohamadreza; Saffiotti, Alessandro; Saetti, Alessandro; Gerevini, Alfonso; Traverso, Paolo
Planning For Web Services the Hard Way
2003-01-01 Carman, Mark James; Serafini, Luciano
Planning in a Complex Real Domain
1993-01-01 Ricci, Francesco; Perini, Anna; Avesani, Paolo
Planning in Non-Deterministic Domains via Symbolic Model Checking
2002-01-01 Roveri, Marco
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
A Planning Strategy For Dialogue Management in Healthcare
2019-01-01 Santos Teixeira, Milene; Dragoni, Mauro; Eccher, Claudio
Planning Under Uncertainty and Its Applications
2006-01-01 Traverso, Paolo
Planning via Model Checking: A Decision Procedure for AR
1997-01-01 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Planning with a Language for Extended Goals
2002-01-01 Lago U., Dal; Pistore, Marco; Traverso, Paolo
Planning with Extended Goals and Partial Observability
2003-01-01 Bertoli, Piergiorgio; Pistore, Marco
Planning with Extended Goals and Partial Observability
2004-01-01 Bertoli, Piergiorgio; Pistore, Marco
Planning with Failure
1994-01-01 Giunchiglia, Fausto; Luca, Spalazzi; Traverso, Paolo
Plant diseased models. Critical issues in development and use
2002-01-01 Susi, Angelo; Perini, Anna; Olivetti, Emanuele
Plant pathogenicity and associated/related detection systems. A review
2023-01-01 Patel, Rhea; Mitra, Bappa; Vinchurkar, Madhuri; Adami, Andrea; Patkar, Rajul; Giacomozzi, Flavio; Lorenzelli, Leandro; Baghini, Maryam Shojaei
Plasma and thermoforming treatments to tune the bio-inspired wettability of polystyrene
2012-01-01 E., Lepore; P., Faraldi; D., Bongini; L., Boarino; Pugno, Nicola
Plasma assisted surface treatments of biomaterials
2017-01-01 Minati, Luca; Migliaresi, C; Lunelli, Lorenzo; Viero, Gabriella; Dalla Serra, Mauro; Speranza, Giorgio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Planning as executable actions: a first step towards a theory of reactive planning | 1-gen-1995 | Traverso, Paolo | |
Planning as Model Checking | 1-gen-2000 | Giunchiglia, Fausto; Traverso, Paolo | |
Planning as Model Checking for Extended Goals in Non-deterministic Domains | 1-gen-2001 | Pistore, Marco; Traverso, Paolo | |
Planning Brain Tumor Resection Using a Probabilistic Atlas of Cortical and Subcortical Structures Critical for Functional Processing: A Proof of Concept | 1-gen-2021 | Sarubbo, Silvio; Annicchiarico, Luciano; Corsini, Francesco; Zigiotto, Luca; Herbet, Guillaume; Moritz-Gasser, Sylvie; Dalpiaz, Chiara; Vitali, Luca; Tate, Matthew; De Benedictis, Alessandro; Amorosino, Gabriele; Olivetti, Emanuele; Rozzanigo, Umberto; Petralia, Benedetto; Duffau, Hugues; Avesani, Paolo | |
Planning for Learning Object Properties | 1-gen-2023 | Lamanna, Leonardo; Serafini, Luciano; Faridghasemnia, Mohamadreza; Saffiotti, Alessandro; Saetti, Alessandro; Gerevini, Alfonso; Traverso, Paolo | |
Planning For Web Services the Hard Way | 1-gen-2003 | Carman, Mark James; Serafini, Luciano | |
Planning in a Complex Real Domain | 1-gen-1993 | Ricci, Francesco; Perini, Anna; Avesani, Paolo | |
Planning in Non-Deterministic Domains via Symbolic Model Checking | 1-gen-2002 | Roveri, Marco | |
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking | 1-gen-2001 | Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo | |
A Planning Strategy For Dialogue Management in Healthcare | 1-gen-2019 | Santos Teixeira, Milene; Dragoni, Mauro; Eccher, Claudio | |
Planning Under Uncertainty and Its Applications | 1-gen-2006 | Traverso, Paolo | |
Planning via Model Checking: A Decision Procedure for AR | 1-gen-1997 | Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo | |
Planning with a Language for Extended Goals | 1-gen-2002 | Lago U., Dal; Pistore, Marco; Traverso, Paolo | |
Planning with Extended Goals and Partial Observability | 1-gen-2003 | Bertoli, Piergiorgio; Pistore, Marco | |
Planning with Extended Goals and Partial Observability | 1-gen-2004 | Bertoli, Piergiorgio; Pistore, Marco | |
Planning with Failure | 1-gen-1994 | Giunchiglia, Fausto; Luca, Spalazzi; Traverso, Paolo | |
Plant diseased models. Critical issues in development and use | 1-gen-2002 | Susi, Angelo; Perini, Anna; Olivetti, Emanuele | |
Plant pathogenicity and associated/related detection systems. A review | 1-gen-2023 | Patel, Rhea; Mitra, Bappa; Vinchurkar, Madhuri; Adami, Andrea; Patkar, Rajul; Giacomozzi, Flavio; Lorenzelli, Leandro; Baghini, Maryam Shojaei | |
Plasma and thermoforming treatments to tune the bio-inspired wettability of polystyrene | 1-gen-2012 | E., Lepore; P., Faraldi; D., Bongini; L., Boarino; Pugno, Nicola | |
Plasma assisted surface treatments of biomaterials | 1-gen-2017 | Minati, Luca; Migliaresi, C; Lunelli, Lorenzo; Viero, Gabriella; Dalla Serra, Mauro; Speranza, Giorgio |
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