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

Publications

Conference Papers

Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners F. Patrizi, N. Lipovetzky and H. Geffner. In Proc. IJCAI-13, 8/2013.

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   (ICAPS Best Dissertation Award 2013)

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

Autonomous Systems, at M.Sc. Intelligent Interactive Systems, University Pompeu Fabra, 2012

Software Agents (Lecturer), at M.Sc. Software, The University of Melbourne, 2013

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, IJCAI 2011, IJCAI 2013

Programme Committee member Association for the Advancement of Artificial Intelligence, AAAI 2013