Examinant per Autoria "Patrizini, Fabio"
Mostrant 1 - 1 de 1
Resultats per pàgina
Opcions d'ordenació
Ítem Accés Obert Computing infinite plans for LTL goals using a classical planner(Association for the Advancement of Artificial Intelligence (AAAI), 2011) Patrizini, Fabio; Lipovetzky, Nir; Giacomo, Giuseppe de; Geffner, Héctor