To access the full text documents, please follow this link: 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
2013-07-02
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)
         

Show full item record

 

Coordination

 

Supporters