Nir Lipovetzky

Pacman Capture the Flag in AI Courses

Nir Lipovetzky, Sebastian Sardina

Journal article  |  2019  |  IEEE Transactions on Games

An Introduction to the Planning Domain Definition Language

P Haslum, N Lipovetzky, D Magazzeni, C Muise

Book  |  2019  |  Synthesis Lectures on Artificial Intelligence and Machine Learning

Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about plans, most importantly the reasonin..

Width-Based Lookaheads Augmented with Base Policies for Stochastic Shortest Paths

Stefan O’Toole, Miquel Ramirez, Nir Lipovetzky, Adrian Pearce

Conference Proceedings  |  2019  |  Proceedings of the 29th International Conference on Automated Planning and Scheduling

Sequential decision problems for real-world applications often need to be solved in real-time, requiring algorithms to perform wel..

Best-First Width Search for Multi Agent Privacy-Preserving Planning

Alfonso Gerevini, Nir Lipovetzky, Francesco Percass, Alessandro Saetti, Ivan Serina

Conference Proceedings  |  2019  |  Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019)

In multi-agent planning, preserving the agents’ privacy has become an increasingly popular research topic. For preserving the agen..

Planimation

Gang Chen, Yi Ding, Hugo Edwards, Chong Hin Chau, Sai Hou, Grace Johnson, Mohammed Sharukh Syed, Haoyuan Tang, Ye Wu, Yu Yan, Gil Tidhar, Nir Lipovetzky

Conference Proceedings  |  2019  |  Proceedings of the 29th International Conference on Automated Planning and Scheduling

Planimation is a modular and extensible open source framework to visualise sequential solutions of planning problems specified in ..

Iterative Width Search for Multi Agent Privacy-Preserving Planning

G Bazzotti, AE Gerevini, N Lipovetzky, F Percassi, A Saetti, I Serina

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Action Selection for Transparent Planning

Aleck M MacNally, Nir Lipovetzky, Miquel Ramirez, Adrian R Pearce

Conference Proceedings  |  2018  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Integrated Hybrid Planning and Programmed Control for Real–Time UAV Maneuvering

Miquel Ramirez, Michael Papasimeon, Nir Lipovetzky, Lyndon Benke, Tim Miller, Adrian R Pearce, Enrico Scala, Mohammad Zamani

Conference Proceedings  |  2018  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Real-Time UAV Maneuvering via Automated Planning in Simulations

M Ramirez Javega, M Papasimeon, L Benke, N Lipovetzky, T Miller, A Pearce

Conference Proceedings  |  2017  |  IJCAI International Joint Conference on Artificial Intelligence

The automatic generation of realistic behaviour such as tactical intercepts for Unmanned Aerial Vehicles (UAV) in air combat is a ..

A polynomial planning algorithm that beats lama and FF

N Lipovetzky, H Geffner

Conference Proceedings  |  2017  |  Proceedings International Conference on Automated Planning and Scheduling, ICAPS

Copyright © 2017, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. It has been show..

Handling non-local dead-ends in agent planning programs

L Chrpa, N Lipovetzky, S Sardina

Conference Proceedings  |  2017  |  IJCAI International Joint Conference on Artificial Intelligence

We propose an approach to reason about agent planning programs with global information. Agent planning programs can be understood ..

Adapting novelty to classical planning as heuristic search

M Katz, D Moshkovich, N Lipovetzky, A Tüisov

Conference Proceedings  |  2017  |  Proceedings International Conference on Automated Planning and Scheduling, ICAPS

Copyright © 2017, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. The introduction..

Best-first width search: Exploration and exploitation in classical planning

N Lipovetzky, H Geffner

Conference Proceedings  |  2017  |  31st AAAI Conference on Artificial Intelligence, AAAI 2017

© Copyright 2017, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. It has been show..

Purely Declarative Action Representations are Overrated: Classical Planning with Simulators

Guillem Frances, Miquel Ram irez, Nir Lipovetzky, Hector Geffner

Conference Proceedings  |  2017  |  IJCAI International Joint Conference on Artificial Intelligence

Traps, invariants, and dead-ends

N Lipovetzky, C Muise, H Geffner

Conference Proceedings  |  2016  |  Proceedings International Conference on Automated Planning and Scheduling, ICAPS

Copyright © 2016, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. We consider the ..

Sequencing operator counts

TO Davies, AR Pearce, P Stuckey, N Lipovetzky

Conference Proceedings  |  2016  |  IJCAI International Joint Conference on Artificial Intelligence

Copyright 2016 AAAI, all rights reserved.). Operator-counting is a recently developed framework for analysing and integrating many..

Approximate Uni-directional Benders Decomposition

Christina N Burt, Nir Lipovetzky, Adrian R Pearce, Peter J Stuckey

Conference Proceedings  |  2015  |  AAAI Workshop - Technical Report

Scheduling Tools for Open-Pit Mining Operations

M BLOM, C Burt, N Lipovetzky, A Pearce, P Stuckey

Presentation  |  2015

System Demonstrations and Exhibits

Classical planning with simulators: Results on the atari video games

N Lipovetzky, M Ramirez, H Geffner

Conference Proceedings  |  2015  |  IJCAI International Joint Conference on Artificial Intelligence

The Atari 2600 games supported in the Arcade Learning Environment [Bellemare et al., 2013] all feature a known initial (RAM) state..

Classical Planning Algorithms on the Atari Video Games: Preliminary Results

N Lipovetzky, M Ramirez, H Geffner

Conference Proceedings  |  2015  |  Proc. AAAI Workshop on Learning for General Competency in Video Games

Unplannability IPC Track

C Muise, N LIPOVETZKY

Conference Proceedings  |  2015

MAP-LAPKT: Omnipotent Multi-Agent Planning via Compilation to Classical Planning

C Muise, N LIPOVETZKY, M Ramirez

Report  |  2015

Scheduling with fixed maintenance, shared resources and nonlinear feedrate constraints: A mine planning case study

CN Burt, N Lipovetzky, AR Pearce, PJ Stuckey

Conference Proceedings  |  2015  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Given a short term mining plan, the task for an operational mine planner is to determine how the equipment in the mine should be u..

Sequencing Operator Counts

TO Davies, AR Pearce, P STUCKEY, N Lipovetzky

Conference Proceedings  |  2015  |  Proceedings International Conference on Automated Planning and Scheduling, ICAPS

Structure and Inference in Classical Planning

Nir Lipovetzky

Book  |  2014

Classical planning is the problem of finding a sequence of actions for achieving a goal from an initial state assuming that actio..

Agent-Based Simulation of Holocene Monsoon Precipitation Patterns and Hunter-Gatherer Population Dynamics in Semi-arid Environments

AL Balbo, X Rubio-Campillo, B Rondelli, M Ramirez, C Lancelotti, A Torrano, M Salpeteur, N Lipovetzky, V Reyes-Garcia, C Montanola, M Madella

Journal article  |  2014  |  Journal of Archaeological Method and Theory

Planning for Mining Operations with Time and Resource Constraints

N Lipovetzky, CN Burt, A Pearce, PJ Stuckey

Conference Proceedings  |  2014  |  Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling

Width-based Algorithms for Classical Planning: New Results

Nir Lipovetzky, Hector Geffner

Conference Proceedings  |  2014  |  Frontiers in Artificial Intelligence and Applications

Width and Inference Based Planners: SIW, BFS (f), and PROBE

Nir Lipovetzky, Miquel Ramirez, Christian Muise, Hector Geffner

Report  |  2014

Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners

F Patrizi, N Lipovetzky, H Geffner

Conference Proceedings  |  2013  |  Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence

Width and Serialization of Classical Planning Problems

Nir Lipovetzky, Hector Geffner

Conference Proceedings  |  2012  |  Frontiers in Artificial Intelligence and Applications

Searching for plans with carefully designed probes

N Lipovetzky, H Geffner

Conference Proceedings  |  2011  |  ICAPS 2011 - Proceedings of the 21st International Conference on Automated Planning and Scheduling

Searching with probes: The classical planner probe

Nir Lipovetzky, Hector Geffner

Report  |  2011

Computing Infinite Plans for LTL Goals Using a Classical Planner

F Patrizi, N Lipovetzky, G De Giacomo, H Geffner

Conference Proceedings  |  2011  |  Proceedings of the Twenty-Second international joint conference on Artificial Intelligence

Inference and decomposition in planning using causal consistent chains

N Lipovetzky, H Geffner

Conference Proceedings  |  2009  |  ICAPS 2009 - Proceedings of the 19th International Conference on Automated Planning and Scheduling

Path-based heuristic (preliminary version)

Nir Lipovetzky, Héctor Geffner

Report  |  2009

C3: Planning with consistent causal chains

Nir Lipovetzky, Miquel Ramirez, Héctor Geffner

Report  |  2008

Structural Inference in Planning: Scaling up without Heuristic Estimators

Nir Lipovetzky, Miquel Ramirez, Hector Geffner

Report  |  2008