Benvenuti nell'Anagrafe della Ricerca d'Ateneo

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 33
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
Planning and execution with flexible timelines: a formal account 1-gen-2016 Cialdea, Marta; Orlandini, Andrea; Umbrico, Alessandro
Mostrati risultati da 1 a 20 di 33
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