Sfoglia per Autore ORLANDINI, Andrea
The Main Features of a Planner Fully Based on LTL
2000-01-01 Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G.
A Planner Fully Based on Linear Time Logic
2000-01-01 Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G.
Planning under Uncertainty in Linear Time Logic
2003-01-01 Mayer M., C; Limongelli, Carla; Orlandini, A; Poggioni, V.
Planning under Uncertainty in Linear Time Logic
2003-01-01 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic
2004-01-01 Cialdea, Marta; Limongelli, Carla; Orlandini, A; Poggioni, V.
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic
2004-01-01 Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati)
2005-01-01 Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni
Planning with Graded Fluents and Actions
2005-01-01 Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni
Planning with Graded Fluents and Actions
2005-01-01 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Pdk: the System and its Language
2005-01-01 Mayer M., C; Limongelli, Carla; Orlandini, A; Poggioni, V.
Augmenting Situation Awareness via Model-Based Control in Rescue Robot
2005-01-01 Carbone, Andrea; Finzi, Alberto; Orlandini, Andrea; Pirri, Fiora; Ugazio, Giorgio
Pdk: the system and its language
2005-01-01 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Linear temporal logic as an executable semantics for planning languages
2007-01-01 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Linear temporal logic as an executable semantics for planning languages
2007-01-01 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Evaluating telepresence robots in the field
2013-01-01 Cesta, A.; Cortellessa, G.; Orlandini, A.; Tiberio, L.
A Formal Account of Planning with Flexible Timelines
2014-01-01 Cialdea, Marta; Orlandini, Andrea; Umbrico, Alessandro
Quality metrics to evaluate flexible timeline-based plans
2015-01-01 Umbrico, Alessandro; Orlandini, Andrea; Cialdea, Marta
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic
2015-01-01 Umbrico, Alessandro; Orlandini, Andrea; Cialdea, Marta
An executable semantics of flexible plans in terms of Timed Game Automata
2015-01-01 Cialdea, Marta; Orlandini, Andrea
Steps in assessing a timeline-based planner
2016-01-01 Umbrico, Alessandro; Cesta, Amedeo; Cialdea, Marta; Orlandini, Andrea
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The Main Features of a Planner Fully Based on LTL | 1-gen-2000 | Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G. | |
A Planner Fully Based on Linear Time Logic | 1-gen-2000 | Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G. | |
Planning under Uncertainty in Linear Time Logic | 1-gen-2003 | Mayer M., C; Limongelli, Carla; Orlandini, A; Poggioni, V. | |
Planning under Uncertainty in Linear Time Logic | 1-gen-2003 | Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V. | |
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic | 1-gen-2004 | Cialdea, Marta; Limongelli, Carla; Orlandini, A; Poggioni, V. | |
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic | 1-gen-2004 | Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni | |
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati) | 1-gen-2005 | Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni | |
Planning with Graded Fluents and Actions | 1-gen-2005 | Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni | |
Planning with Graded Fluents and Actions | 1-gen-2005 | Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V. | |
Pdk: the System and its Language | 1-gen-2005 | Mayer M., C; Limongelli, Carla; Orlandini, A; Poggioni, V. | |
Augmenting Situation Awareness via Model-Based Control in Rescue Robot | 1-gen-2005 | Carbone, Andrea; Finzi, Alberto; Orlandini, Andrea; Pirri, Fiora; Ugazio, Giorgio | |
Pdk: the system and its language | 1-gen-2005 | Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V. | |
Linear temporal logic as an executable semantics for planning languages | 1-gen-2007 | Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V. | |
Linear temporal logic as an executable semantics for planning languages | 1-gen-2007 | Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V. | |
Evaluating telepresence robots in the field | 1-gen-2013 | Cesta, A.; Cortellessa, G.; Orlandini, A.; Tiberio, L. | |
A Formal Account of Planning with Flexible Timelines | 1-gen-2014 | Cialdea, Marta; Orlandini, Andrea; Umbrico, Alessandro | |
Quality metrics to evaluate flexible timeline-based plans | 1-gen-2015 | Umbrico, Alessandro; Orlandini, Andrea; Cialdea, Marta | |
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic | 1-gen-2015 | Umbrico, Alessandro; Orlandini, Andrea; Cialdea, Marta | |
An executable semantics of flexible plans in terms of Timed Game Automata | 1-gen-2015 | Cialdea, Marta; Orlandini, Andrea | |
Steps in assessing a timeline-based planner | 1-gen-2016 | Umbrico, Alessandro; Cesta, Amedeo; Cialdea, Marta; Orlandini, Andrea |
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