Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10230/19944

Computing infinite plans for LTL goals using a classical planner
Patrizini, Fabio; Lipovetzky, Nir; Giacomo, Giuseppe de; Geffner, Hector
Universitat Pompeu Fabra
02-07-2013
Intel·ligència artificial
Planificació -- Informàtica
© [2011], Association for the Advancement of Artificial Intelligence (www.aaai.org)
info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/acceptedVersion
Association for the Advancement of Artificial Intelligence (AAAI)
         

Mostrar el registro completo del ítem