"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 through factored novelty, Width-Based Planning algorithms, and its applications beyond classical planning. I'm also interested in applications that require synergies from the fields of automated planning, constraint programming and operations research. I've been involved in the past on solving 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

A Polynomial Planning Algorithm that Beats LAMA and FF N. Lipovetzky and H. Geffner. In Proc. ICAPS-17, 6/2017.

Adapting Novelty to Classical Planning as Heuristic Search M. Katz, N. Lipovetzky, D. Moshkovich and A. Tuisov. In Proc. ICAPS-17, 6/2017.

Best-First Width Search: Exploration and Exploitation in Classical Planning N. Lipovetzky and H. Geffner. In Proc. AAAI-17, 2/2017.

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

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

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

LTL2PDDL-FOND Tool Compiler and instances, IJCAI 2013

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

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

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

Service in conference committees

Programme Committee International Joint Conferences on Artificial Intelligence, IJCAI 2011,2013,2015,2017

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

Programme Committee European Conference on Artificial Intelligence, ECAI 2014,2016

Programme Committee International Conference on Automated Planning and Scheduling, ICAPS 2015,2016,2017

Reviewer Journal of Artificial Intelligence Research, JAIR

Reviewer Artificial Intelligence, Elsevier AIJ

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

Co-Organizer Heuristics and Search for Domain-independent Planning - ICAPS workshop HSDIP 2015,2016,2017

Co-Organizer Planning and Scheduling for Healthcare and Society - ICAPS workshop PSHS 2017

Co-Organizer First Unsolvability International Planning Competition UIPC-1,2016

Honours and Awards

Winner, International Competition on Knowledge Engineering for Planning and Scheduling ICKEPS-2016

Outstanding Paper Award, International Conference on Automated Planning and Scheduling ICAPS-2015

Best Dissertation Award, International Conference on Automated Planning and Scheduling ICAPS-2013

Jury Award Award, International Planning Competition IPC-6, 2008

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