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

Action Selection for Transparent Planning A. MacNally, N. Lipovetzky, M. Ramirez and A. Pearce. In Proc. AAMAS-18, 7/2018.

Integrated Hybrid Planning and Programmed Control for Real–Time UAV Maneuvering M. Ramirez, M. Papasimeon, N. Lipovetzky, L. Benke, T. Miller, A. Pearce, E. Scala, and M. Zamani. In Proc. AAMAS-18, 7/2018.

Handling non-local dead-ends in agent planning programs L. Chrpa, N. Lipovetzky, and S. Sardina. In Proc. IJCAI-17, 8/2017.

Real–Time UAV Maneuvering via Automated Planning in Simulations M. Ramirez, M. Papasimeon, L. Benke, N. Lipovetzky, T. Miller, and A. Pearce. In Proc. IJCAI-17, 8/2017.

Purely Declarative Action Representations are Overrated: Classical Planning with Simulators G. Frances, M. Ramirez, N. Lipovetzky and H. Geffner. In Proc. IJCAI-17, 8/2017.

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

Best-First Width Search in the IPC 2018: Complete, Simulated, and Polynomial Variants G. Frances, H. Geffner, N. Lipovetzky and M. Ramirez. In Int. Planning Competition Booklet (IPC-9), 6/2018.

MERWIN Planner: Mercury Enchanced With Novelty Heuristic M. Katz, N. Lipovetzky, D. Moshkovich and A. Tuisov. In Int. Planning Competition Booklet (IPC-9), 6/2018.

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)

Software

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

Best First Width Search (BFWS), both the polynomial and DUAL-BFWS planners, AAAI, ICAPS 2017

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 First Unsolvability International Planning Competition UIPC-1,2016

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

Co-Chair Student Abstract track AAAI,2018

Co-Chair Journal Presentation track ICAPS,2018

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 - current

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

Pacman Capture the flag Inter-University Contest, run for Unimelb AI coure and Hall of Fame contest, 2016 - current