Listar Documents OpenAIRE (Open Access Infrastructure for Research in Europe) por autoría "Lipovetzky, Nir"

Mostrando ítems 1-3 de 3

Computing infinite plans for LTL goals using a classical planner

Patrizini, Fabio; Lipovetzky, Nir; Giacomo, Giuseppe de; Geffner, Héctor (Association for the Advancement of Artificial Intelligence (AAAI), 2011)

Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally ...
Searching for plans with carefully designed probes

Lipovetzky, Nir; Geffner, Héctor (Association for the Advancement of Artificial Intelligence (AAAI), 2011)

We define a probe to be a single action sequence computedgreedily from a given state that either terminates in the goalor fails. We show that by designing these probes carefullyusing a number of existing and new polynomial ...
Width and serialization of classical planning problems

Geffner, Héctor; Lipovetzky, Nir (IOS Press, 2012)

We introduce a width parameter that bounds the complexity of classical planning problems and domains, along with a simple but effective blind-search procedure that runs in time that is exponential in the problem width. We ...