Browsing by Author "Lipovetzky, Nir"

Now showing documents 1-3 of 3

Computing infinite plans for LTL goals using a classical planner

Patrizini, Fabio; Lipovetzky, Nir; Giacomo, Giuseppe de; Geffner, Hector (Association for the Advancement of Artificial Intelligence (AAAI), 2011)
Structure and inference in classical planning

Lipovetzky, Nir (Universitat Pompeu Fabra, 2012)
Width and serialization of classical planning problems

Geffner, Hector; Lipovetzky, Nir (IOS Press, 2012)

Now showing documents 1-3 of 3