Detailed Schedule

Session Ia: Applications – I
(Auditorium)
Session Chair: Manuela Veloso

Planning Personalised Museum Visits (AF4)
Daniel Le Berre, Pierre Marquis, Stéphanie Roussel

Planning Solar Array Operations on the International Space Station (J2)
Jeremy Frank
(journal presentation)

Planning-Based Social Partners for Children
with Autism (AF2)
Sara Bernardini, Kaska Porayska-Pomsta

Smart Urban Signal Networks: Initial Application of the SURTRAC Adaptive Traffic Signal Control System (AF10)
Stephen F. Smith, Gregory J. Barlow, Xiao-Feng Xie, Zachary B. Rubinstein

Session Ib: Heuristics & Search – I
(San Francesco Room)
Session Chair: Martin Mueller

 Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods (MF1)
Sergey Alatartsev, Marcus Augustine, Frank Ortmeier 

Heuristics for Bounded-Cost Search (MS8)
Patrik Haslum
(short talk) 

Searching for Good Solutions
in Goal-Dense Search Spaces (MF5)
Amanda J. Coles, Andrew I.Coles 

Automated Agent Decomposition
for Classical Planning (MF6)
Matthew Crosby, Michael Rovatsos, Ronald P. A. Petrick 

Session IIa: MDPs, POMPDs
(Auditorium)
Session Chair: Andrey Kolobov

 Exploiting Fully Observable and Deterministic Structures in Goal POMDPs (MF28)
Håkan Warnquist, Jonas Kvarnström, Patrick Doherty

 A Flexible Approach to Modeling Unpredictable
Events in MDPs (MF30)
Stefan Witwicki, Francisco Melo, Jesús Capitán,
Matthijs Spaan

Trial-Based Heuristic Tree Search
for Finite Horizon MDPs (MF16)
Thomas Keller, Malte Helmert
(ICAPS 2013 Best Student Paper)

Session IIb: Optimal & Oversubscription Planning
(San Francesco Room)
Session Chair: Adi Botea

Faster Optimal Planning
with Partial-Order Pruning (MF12)
David Leo Wright Hall, Alon Cohen, David Burkett, Dan Klein

 Abstractions for Oversubscription Planning (MF18)
Vitaly Mirkis, Carmel Domshlak

Transition Trees for Cost-Optimal
Symbolic Planning (MF24)
Álvaro Torralba, Stefan Edelkamp, Peter Kissmann

Session IIIa: Planning Under Uncertainty
(Auditorium)
Session Chair: Blai Bonet

 Behavior Composition as Fully Observable Non-Deterministic Planning (MF21)
Miquel Ramirez, Nitin Yadav, Sebastian Sardina

 Compiling Conformant Probabilistic Planning Problems into Classical Planning (MF23)
Ran Taig, Ronen I. Brafman

Paper Summary: Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk (J8)
Masahiro Ono, Brian C. Williams, Lars Blackmore
(journal presentation)

Multi-Modal Journey Planning
in the Presence of Uncertainty (MF3)
Adi Botea, Evdokia Nikolova, Michele Berlingerio 

Session IIIb: Scheduling – I
(San Francesco Room)
Session Chair: Chris Beck

Dynamic Online Planning and Scheduling Using a Static Invariant-Based Evaluation Model (MF20)
Cédric Pralet, Gérard Verfaillie

Optimally Scheduling Small Numbers of Identical Parallel Machines (MF17)
Richard E. Korf, Ethan L. Schreiber

De-Cycling Cyclic Scheduling Problems (MS2)
Alessio Bonfietti, Michele Lombardi, Michela Milano
(short talk)

Integrated Operations (Re-)Scheduling
from Mine to Ship (AF8)
Kameshwaran Sampath, Alfiya Tezabwala, Alain Chabrier, Julain Payne, Fabio Tiozzo

Session IVa: Applications – II
(Auditorium)
Session Chair: Maria Fox 

Timeline-Based Planning for Engaging
Training Experiences (AF3)
Gabriella Cortellessa, Riccardo De Benedictis, Marco Pagani

Planning for Social Interaction in
a Robot Bartender Domain (AF5)
Ronald P. A. Petrick, Mary E. Foster
(Novel Applications Track  Best Paper)

The Windy Domain — A Challenging Real-World Application of Integrated Planning and Scheduling (AS3)
David Pattison, Wenbin Xie, Francis Quail
(short talk)

Planning under Uncertainty for Coordinating Infrastructural Maintenance (AF9)
Joris Scharpff, Matthijs T. J. Spaan, Leentje Volker, Mathijs M. De Weerdt

Session IVb: Heuristics & Search – II
(San Francesco Room)
Session Chair: Sven Koenig

Incremental Planning with Adaptive Dimensionality (MF10)
Kalin Gochev, Alla Safonova, Maxim Likhachev

Using Alternative Suboptimality Bounds
in Heuristic Search (MF27)
Richard Anthony Valenzano, Shahab Jabbari Arfaee, Jordan Thayer, Roni Stern, Nathan R. Sturtevant

An Investigation of Actions, Change and Space (J10)
Paulo E. Santos, Pedro Cabalar
(journal presentation)

Better Time Constrained Search via Randomization and Postprocessing (MF31)
Fan Xie, Richard Valenzano, Martin Müller

Session Va: Robotics, Path Planning
(Auditorium)
Session Chair: Jonas Kvarnstrom

 An Approach for Efficient Planning of Robotic Manipulation Tasks (MF7)
Richard Dearden, Chris Burbridge

Subgoal Graphs for Optimal Pathfinding in Eight-Neighbor Grids (MF26)
Tansel Uras, Sven Koenig, Carlos Hernández

 Path Planning with Compressed
All-Pairs Shortest Paths Data (MS4)
Adi Botea, Daniel Harabor
(short talk)

An Optimal Any-Angle Pathfinding Algorithm (MS7)
Daniel Damir Harabor, Alban Grastien
(short talk)

Task Sequencing for Remote Laser Welding in the Automotive Industry (AS2)
Andras Kovacs
(short talk)

Session Vb: SAT, CSP, Search
(San Francesco Room)
Session Chair: Gérard Verfaillie

Partially Grounded Planning as
Quantified Boolean Formula (MF4)
Michael Cashmore, Maria Fox, Enrico Giunchiglia

New Encoding Methods for SAT-Based
Temporal Planning (MF9)
Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani

A Constraint-Based Approach for Proactive, Context-Aware Human Support (J9)
Federico Pecora, Marcello Cirillo, Francesca Dell’Osa, Jonas Ullberg, Alessandro Saffiotti
(journal presentation)

Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach (J1)
Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena E. Ponta
(journal presentation)

Solving the Traveling Tournament Problem with Iterative-Deepening A* (J12)
David Uthus, Patricia J. Riddle, Hans W. Guesgen
(journal presentation)

Session VIa: Temporal Planning and Scheduling
(Auditorium)
Session Chair: Sara Bernardini

Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network (AF6)
Chiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long
(Novel Applications Track Best Student Paper)

 An Optimal Constraint Programming Approach to the Open-Shop Problem (J7)
Arnaud Malapert, Hadrien Cambazard, Christelle Guéret, Narendra Jussien, André Langevin, Louis-Martin Rousseau
(journal presentation)

 Distributed Algorithms for Incrementally Maintaining Multiagent Simple Temporal Networks (MF2)
James C. Boerkoel Jr., Léon R. Planken, Ronald J. Wilcox, Julie A. Shah

 Scheduling with Contingent Resources and Tasks (MF22)
Jussi Rintanen

Session VIb: Complexity, Foundations
(San Francesco Room)
Session Chair: Malte Helmert

 When Acyclicity Is Not Enough: Limitations of the Causal Graph (MF14)
Anders Jonsson, Peter Jonsson, Tomas Lööw

Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions (MS14)
Aldo Porco, Alejandro Machado, Blai Bonet
(short talk)

Fault Tolerant Planning: Complexity and Compilation (MF8)
Carmel Domshlak

A Generic Technique for Synthesizing Bounded Finite-State Controllers (MF13)
Yuxiao Hu, Giuseppe De Giacomo

and

ICAPS 2013 Influential Paper Award

On the Extraction, Ordering, and Usage of Landmarks in Planning
by
Julie Porteous, Laura Sebastia and Jörg Hoffmann
(in Proceedings of ECP-01, Sixth European Conference on Planning, Toledo, Spain, 2001)

 Session VIIa: Heuristics & Search – III
(Auditorium)
Session Chair: Patrik Haslum

 The Relative Pruning Power of Strong Stubborn Sets and Expansion Core (MF29)
Martin Wehrle, Malte Helmert, Yusra Alkhazraji, Robert Mattmüller
(ICAPS 2013 Best Paper)

 Incremental LM-Cut (MF19)
Florian Pommerening, Malte Helmert

Stronger Abstraction Heuristics Through Perimeter Search (MS6)
Patrick Eyerich, Malte Helmert
(short talk)

 Who Said We Need to Relax All Variables? (MF15)
Michael Katz, Joerg Hoffmann, Carmel Domshlak

Session VIIb: Scheduling – II
(San Francesco Room)
Session Chair: Riccardo Rasconi

Hybrid Queueing Theory and Scheduling Models
for Dynamic Environments with
Sequence-Dependent Setup Times (MF25)
Tony T. Tran, Daria Terekhov, Doug G. Down,
J. Christopher Beck

An Efficient Memetic Algorithm for the Flexible Job Shop with Setup Times (MF11)
Miguel A. González, Camino Rodríguez Vela, Ramiro Varela

A Min-Flow Algorithm for Minimal Critical Set Detection in Resource Constrained Project Scheduling (J6)
Michele Lombardi, Michela Milano
(journal presentation)

A Reformulation for the Problem of Scheduling Unrelated Parallel Machines with Sequence and Machine Dependent Setup Times (MS1)
Oliver Avalos-Rosales, Ada Margarita Alvarez, Francisco Angel-Bello
(short talk)

 Session VIIIa: Applications – III
(Auditorium)
Session Chair: Ioannis Refanidis

 Autonomous Search and Tracking via
Temporal Planning (AF1)
Sara Bernardini, Maria Fox, Derek Long, John Bookless

Planning Spacecraft Activities:
An Automated Approach (AF7)
Nicola Policella, Henrique Oliveira, Edoardo Benzi

Challenge: Modelling Unit Commitment as a Planning Problem (AS1)
Joshua Campion, Chris Dent, Maria Fox, Derek Long, Daniele Magazzeni
(short talk)

HTN Planning for the Composition of Stream Processing Applications (AF11)
Shirin Sohrabi, Octavian Udrea, Anand Ranganathan, Anton Riabov

Session VIIIb: Control, Games
(San Francesco Room)
Session Chair: Carmel Domshlak

Optimal Control as a Graphical Model Inference Problem (J4)
Hilbert J. Kappen, Vicenç Gomez, Manfred Opper
(journal presentation)

On Adversarial Policy Switching with Experiments in Real-Time Strategy Games (MS10)
Brian King, Alan Fern, Jesse Hostetler
(short talk)

Linear Fitted-Q Iteration with Multiple Reward Functions (J5)
Daniel J. Lizotte, Michael Bowling, Susan A. Murphy
(journal presentation)

Temporal-Difference Search in Computer Go (J11)
David Silver, Richard Sutton, Martin Mueller
(journal presentation)

Domain Predictive Control Under Uncertain Numerical State Information (MS12)
Johannes Löhr, Patrick Eyerich, Stefan Winkler, Bernhard Nebel
(short talk)

Incremental Dynamic Controllability Revisited (MS13)
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
(short talk)

Session IXa: Heuristic Planning
(Auditorium)
Session Chair: Sheila McIIraith

What’s in It for My BDD? On Causal Graphs and Variable Orders in Planning (MS11)
Peter Kissmann, Jörg Hoffmann
(short talk)

Narrative planning: Compilations to classical planning (J3)
Patrik Haslum
(journal presentation)

Safe, Strong, and Tractable Relevance Analysis for Planning (MS9)
Patrik Haslum, Malte Helmert, Anders Jonsson
(short talk)

 Session  IXb: Heuristics & Search – IV
(San Francesco Room)
Session Chair: Erez Karpas

Counterexample-Guided Cartesian Abstraction Refinement (MS15)
Jendrik Seipp, Malte Helmert
(short talk)

Moving Target Search with Compressed Path Databases (MS3)
Adi Botea, Jorge A. Baier, Daniel Harabor, Carlos Hernández Bote
(short talk)

Symmetry Breaking: Satisficing Planning and Landmark Heuristics (MS5)
Carmel Domshlak, Michael Katz, Alexander Shleyfman
(short talk)