Benvenuti nell'Anagrafe della Ricerca d'Ateneo

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 86
Titolo Data di pubblicazione Autore(i) File
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities 1-gen-2013 Cerrito, S; Cialdea, Marta
Extended Decision Procedure for a Fragment of HL with Binders 1-gen-2014 Cialdea, Marta
A Formal Account of Planning with Flexible Timelines 1-gen-2014 Cialdea, Marta; Orlandini, Andrea; Umbrico, Alessandro
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic 1-gen-2015 Umbrico, Alessandro; Orlandini, Andrea; Cialdea, Marta
Quality metrics to evaluate flexible timeline-based plans 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
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 1-gen-2016 Gigante, Nicola; Montanari, Angelo; Cialdea, Marta; Orlandini, Andrea
Steps in assessing a timeline-based planner 1-gen-2016 Umbrico, Alessandro; Cesta, Amedeo; Cialdea, Marta; Orlandini, Andrea
Complexity of Timeline-based Planning 1-gen-2017 Gigante, Nicola; Montanari, Angelo; Cialdea, Marta; Orlandini, Andrea
PLATINUm: A new framework for planning and acting 1-gen-2017 Umbrico, Alessandro; Cesta, Amedeo; Cialdea Mayer, Marta; Orlandini, Andrea
Integrating Resource Management and Timeline-based Planning 1-gen-2018 Umbrico, Alessandro; Cesta, Amedeo; Cialdea, Marta; Orlandini, Andrea
Temporal abductive reasoning about biochemical reactions 1-gen-2018 Cerrito, Serenella; Cialdea Mayer, Marta; Demolombe, Robert
A game-theoretic approach to timeline-based planning with uncertainty 1-gen-2018 Gigante, Nicola; Montanari, Angelo; Cialdea, Marta; Orlandini, Andrea; Reynolds, Mark
P3M: une plate-forme logicielle pour la modélisation et la manipulation des cartes d'interactions moléculaires 1-gen-2019 Alliot, J. M.; Cialdea, M.; Demolombe, R.; Dieguez, M.; Fariñas, L.; Favre, G.; Faye, J. C.; Sordet, O.
Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains 1-gen-2019 Umbrico, Alessandro; Cesta, Amedeo; Cialdea Mayer, Marta; Orlandini, Andrea
On timeline-based games and their complexity 1-gen-2020 Gigante, Nicola; Montanari, Angelo; Orlandini, Andrea; Cialdea Mayer, Marta; Reynolds, Mark
An AI-Based Approach to Automatic Waste Sorting 1-gen-2020 Strollo, E.; Sansonetti, G.; Mayer, M. C.; Limongelli, C.; Micarelli, A.
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies 1-gen-2020 Cialdea Mayer, Marta
Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration 1-gen-2020 Orlandini, Andrea; Cialdea Mayer, Marta; Umbrico, Alessandro; Cesta, Amedeo
Mostrati risultati da 61 a 80 di 86
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