Program

30th November

14:00 – 14:45 – Session #1

14:00 – 14:15: Xiaodi Zhang, Alban Grastien and Enrico Scala Computing Superior Counter-Examples for Conformant Planning

14:15 – 14:30: Francesco Percassi, Enrico Scala and Mauro Vallati On Translation-Based Approaches from Discrete PDDL+ to Numeric Planning

14:30 – 14:45: Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi and Ivan Porro Scheduling Pre-Operative Assessment Clinic via Answer Set Programming

14:45 – 15:00 – Break

15:00 – 15:45 – Session #2

15:00 – 15:15: Andrea Micheli and Alessandro Valentini Learn to Rank Search States in Temporal Planning by Exploiting Determinism

15:15 – 15:30: Leonardo Lamanna, Alessandro Saetti, Luciano Serafini, Alfonso Emilio Gerevini and Paolo Traverso Online Learning of Action Models for PDDL Planning

15:30 – 15:45: Alfonso E. Gerevini, Nir Lipovetzky, Francesco Percassi, Alessandro Saetti and Ivan Serina Best-First Width Search for Multi Agent Privacy-preserving Planning

15:45 – 16:00 – Break

16:00 – 16:45 – Session #3

16:00 – 16:15:  Emanuele De Pellegrin and Ronald Petrick Plan Simulation with PDSim

16:15 – 16:30: Gabriele Sartor, Davide Zollo, Marta Cialdea, Angelo Oddi, Vieri Giuliano Santucci and Riccardo Rasconi Autonomous Generation of Symbolic Knowledge via Option Discovery

16:30 – 16:45: Stefan Panjkovic, Andrea Micheli and Alessandro Cimatti Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping

16:45 – 17:00 – Break

17:00 – 18:00 – Invited Talk

David Smith An Interactive System for Mission Activity Planning