"There is something more important than logic: the imagination." Alfred Hitchcock

Nir Lipovetzky

I am a Research Fellow at University of Melbourne. Previously, I was a PhD candidate at the Artificial Intelligence Group,Universitat Pompeu Fabra, under the supervision of Hector Geffner.

My reasearch is in the area of Automated Planning, with a special focus on how to introduce different approaches to the problem of inference in planning.

contact: nir (dot) lipovetzky (at) unimelb (dot) edu (dot) au

Publications

Conference Papers

Width and Serialization of Classical Planning Problems N. Lipovetzky and H. Geffner. In Proc. ECAI-12, 8/2012.

Computing Infinite Plans for LTL Goals Using a Classical Planner F. Patrizi, N. Lipovetzky, G. De Giacomo and H. Geffner. In Proc. IJCAI-11, 7/2011.

Searching for plans with carefully designed probes N. Lipovetzky and H. Geffner. In Proc. ICAPS-11, 6/2011.

Searching for plans with carefully designed probes (preliminary version) N. Lipovetzky and H. Geffner. In PLANSIG Brescia, Italia, 12/2010.

Path-based heuristics (preliminary version). N. Lipovetzky and H. Geffner. In Proc. ICAPS Workshop on Heuristics for Domain-Independent Planning, 9/2009.

Inference and decomposition in planning using causal consistent chains. N. Lipovetzky and H. Geffner. In Proc. ICAPS-09, 9/2009.


Technical Reports

Searching with Probes: The Classical Planner PROBE. N. Lipovetzky and H. Geffner. In Int. Planning Competition Booklet (IPC-7), 6/2011.

C3: Planning with consistent causal chains. N. Lipovetzky, M. Ramirez, and H. Geffner. In Int. Planning Competition Booklet (IPC-6), 9/2008.

Structural inference in planning: Scaling up without heuristic estimators. N. Lipovetzky, M. Ramirez, and H. Geffner. 9/2008. Technical Report.


PhD Thesis

Structure and Inference in Classical Planning. N. Lipovetzky 12/2012.

Activities/Software

Software

PROBE planner, classical planner for The seventh international planning competition, IPC-2011

C³ planner, classical planner for The sixth international planning competition, IPC-2008

Automated Planning Toolkit, a framework for writing domain-independent planners which offers clean and clear programming interfaces

Infinite Plans for LTL Goals Using a Classical Planner: Compiler, planner and instances, IJCAI 2011

Teaching

Programming course, at Polytechnic School, University Pompeu Fabra, 2008, 2009, 2010, 2011

Introduction to Data Structures and Algorithms course, at Polytechnic School, University Pompeu Fabra, 2008

Artificial Intelligence course, at Polytechnic School, University Pompeu Fabra, 2010, 2011

Advanced course on AI: workshop on RoboSoccer simulator, at Polytechnic School, University Pompeu Fabra, 2009, 2010, 2011

Service in conference committees

Publicity chair, International Conference on Automated Planning and Scheduling 2010, ICAPS-10 (co-chair A. Albore and A. Botea)

Programme Committee member International Joint Conferences on Artificial Intelligence 2011,IJCAI 2011