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

Nir Lipovetzky

I am a Research Fellow at The 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. Currently I'm involved on applying automated planning to Open Pit Mine Scheduling problems.

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

Publications

Book

Structure and Inference in Classical Planning N. Lipovetzky, published by AI Access, 9/2014.
(Donwload the pdf for free, also available as a paperback for $12.)


Conference Papers

Traps, Invariants, and Dead-ends N. Lipovetzky, C. Muise, and H. Geffner. In Proc. ICAPS-16, 6/2016.

Classical Planning with Simulators: Results on the Atari Video Games N. Lipovetzky, M. Ramirez and H. Geffner. In Proc. IJCAI-15, 8/2015. Demo (youtube)

Sequencing Operator Counts T.O. Davies, A.R. Pearce, P.J. Stuckey and N. Lipovetzky. In Proc. ICAPS-15, 6/2015. Best Paper Award

Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: a Mine Planning Case Study C.N. Burt, N. Lipovetzky, A.R. Pearce and P.J. Stuckey. In Proc. CPAIOR-15, 5/2015.

Scheduling Tools for Open-Pit Mining Operations ML Blom, CN Burt, N Lipovetzky, PJ Stuckey, AR Pearce. In ICAPS-15 sysdemo, 6/2015.

Unplannability IPC Track Muise, C.; and Lipovetzky, N. In Workshop on the International Planning Competition, 6/2015.

Approximate Uni-directional Benders Decomposition C.N. Burt, N. Lipovetzky, A.R. Pearce and P.J. Stuckey. In Proc. AAAI-15 Workshop on Planning, Search and Optimization, 1/2015.

Classical Planning Algorithms on the Atari Video Games N Lipovetzky, M Ramirez, H Geffner. In Proc. AAAI-15 Workshop on Learning for General Competency in Video Games, 1/2015.

Width-based Algorithms for Classical Planning: New Results N. Lipovetzky and H. Geffner. In Proc. ECAI-14, 8/2014.

Planning for Mining Operations with Time and Resource Constraints N. Lipovetzky, C.N. Burt, A.R. Pearce and P.J. Stuckey. In Proc. ICAPS-14, 6/2014.

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.


Journal Papers

Agent-based simulation of Holocene Monsoon precipitation patterns and hunter-gatherer population dynamics in semi-arid environments AL Balbo et. al. In Journal of Archaeological Method and Theory, 6/2014.


Technical Reports

MAP-LAPKT: Omnipotent Multi-Agent Planning via Compilation to Classical Planning Muise, C.; Lipovetzky, N.; and Ramirez, M. In Competition of Distributed and Multiagent Planners (CoDMAP), 6/2015.

Width and Inference Based Planners: SIW, BFS(f), and PROBE N. Lipovetzky, M. Ramirez, C. Muise and H. Geffner. In Int. Planning Competition (IPC-8), 6/2014.

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

Activities/Software

Software

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

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

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

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

Width-based Classical Planners playing ATARI 2600 games Source Code, Videos, and more information, IJCAI 2015

TRAPPER: Invariants, Traps, and Dead-end detection Source Code, Videos, and more information, ICAPS 2016

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, 2014, 2015

Data Structures and Algorithms (Lecturer), at The University of Melbourne, 2016

AI Planning for Autonomy (Lecturer), at M.Sc. Software, The University of Melbourne, 2016

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 International Joint Conferences on Artificial Intelligence, IJCAI 2011, IJCAI 2013

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

Programme Committee European Conference on Artificial Intelligence, ECAI 2014

Reviewer Journal of Artificial Intelligence Research, JAIR 2014

Reviewer Artificial Intelligence, Elsevier AIJ 2014