ICAPS Rome 2013

Accepted Papers

-List of Full Papers Accepted at the Main Track
-List of Short Papers Accepted at the Main Track
-List of Full Papers Accepted at the Special Track on Novel Applications
-List of Short Papers Accepted at the Special Track on Novel Applications
-List of Papers Accepted at the Journal Presentation Track

Main Track – Full Papers

Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods  (MF1 – Session Ib - June 12)
Sergey Alatartsev, Marcus Augustine, Frank Ortmeier

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

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

Partially Grounded Planning as Quantified Boolean Formula  (MF4 – Session Vb – June 13)
Michael Cashmore, Maria Fox, Enrico Giunchiglia

Searching for Good Solutions in Goal-Dense Search Spaces  (MF5 - Session Ib – June 12)
Amanda Jane Coles, Andrew Ian Coles

Automated Agent Decomposition for Classical Planning  (MF6 – Session Ib – June 12)
Matthew Crosby, Michael Rovatsos, Ronald P. A. Petrick

An Approach for Efficient Planning of Robotic Manipulation Tasks  (MF7 – Session Va – June 13)
Richard Dearden, Chris Burbridge

Fault Tolerant Planning: Complexity and Compilation (MF8 – Session VIb – June 13)
Carmel Domshlak

New Encoding Methods for SAT-Based Temporal Planning (MF9 – Session Vb – June 13)
Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani

Incremental Planning with Adaptive Dimensionality (MF10 -Session IVb – June 13 )
Kalin Gochev, Alla Safonova, Maxim Likhachev

An Efficient Memetic Algorithm for the Flexible Job Shop with Setup Times (MF11 – Session VIIb – June 14)
Miguel Ángel González, Camino Rodríguez Vela, Ramiro Varela

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

A Generic Technique for Synthesizing Bounded Finite-State Controllers (MF13 – Session VIb – June 13)
Yuxiao Hu, Giuseppe De Giacomo

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

Who Said We Need to Relax All Variables? (MF15 – Session VIIa – June 14)
Michael Katz, Joerg Hoffmann, Carmel Domshlak

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

Optimally Scheduling Small Numbers of Identical Parallel Machines (MF17 – Session IIIb – June 12 )
Richard Earl Korf, Ethan L. Schreiber

Abstractions for Oversubscription Planning  (MF18 – Session IIb – June 12)
Vitaly Mirkis, Carmel Domshlak

Incremental LM-Cut (MF19 – Session VIIa – June 14)
Florian Pommerening, Malte Helmert

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

Behavior Composition as Fully Observable Non-Deterministic Planning  (MF21 – Session IIIa – June 12)
Miquel Ramirez, Nitin Yadav, Sebastian Sardina

Scheduling with Contingent Resources and Tasks (MF22 – Session VIa – June 13)
Jussi Rintanen

Compiling Conformant Probabilistic Planning Problems into Classical Planning  (MF23 – Session IIIa – June 12)
Ran Taig, Ronen I. Brafman

Transition Trees for Cost-Optimal Symbolic Planning  (MF24 – Session IIb – June 12)
Álvaro Torralba, Stefan Edelkamp, Peter Kissmann

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

Subgoal Graphs for Optimal Pathfinding in Eight-Neighbor Grids  (MF26 – Session Va – June 13)
Tansel Uras, Sven Koenig, Carlos Hernandez

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

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

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

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

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

Main Track – Short Papers

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

De-Cycling Cyclic Scheduling Problems (MS2 – Session IIIb – June 12)
Alessio Bonfietti, Michele Lombardi, Michela Milano

Moving Target Search with Compressed Path Databases  (MS3 -Session IXb – June 14 )
Adi Botea, Jorge A. Baier, Daniel Harabor, Carlos Hernández

Path Planning with Compressed All-Pairs Shortest Paths Data  (MS4 – Session Va – June 13)
Adi Botea, Daniel Harabor

Symmetry Breaking: Satisficing Planning and Landmark Heuristics (MS5 – Session IXb – June 14)
Carmel Domshlak, Michael Katz, Alexander Shleyfman

Stronger Abstraction Heuristics Through Perimeter Search (MS6 – Session VIIa – June 14)
Patrick Eyerich, Malte Helmert

An Optimal Any-Angle Pathfinding Algorithm  (MS7 – Session Va – June 13)
Daniel Damir Harabor, Alban Grastien

Heuristics for Bounded-Cost Search  (MS8 – Session Ib – June 12)
Patrik Haslum

Safe, Strong, and Tractable Relevance Analysis for Planning (MS9 – Session IXa – June 14)
Patrik Haslum, Malte Helmert, Anders Jonsson

On Adversarial Policy Switching with Experiments in Real-Time Strategy Games (MS10 – Session VIIIb – June 14)
Brian King, Alan Fern, Jesse Hostetler

What’s in It for My BDD? On Causal Graphs and Variable Orders in Planning (MS11 – Session IXa – June 14)
Peter Kissmann, Jörg Hoffmann

Domain Predictive Control Under Uncertain Numerical State Information (MS12 – Session VIIIb – June 14)
Johannes Löhr, Patrick Eyerich, Stefan Winkler, Bernhard Nebel

Incremental Dynamic Controllability Revisited (MS13 – Session VIIIb – June 14)
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty

Automatic Reductions from PH into STRIPS or How to Generate Short Problems with
Very Long Solutions (MS14 – Session VIb – June 13)
Aldo Porco, Alejandro Machado, Blai Bonet

Counterexample-Guided Cartesian Abstraction Refinement (MS15 – Session IXb – June 14)
Jendrik Seipp, Malte Helmert

Special Track on Novel Applications – Full Papers

Autonomous Search and Tracking via Temporal Planning  (AF1 - Session VIIIa – June 14)
Sara Bernardini, Maria Fox, Derek Long, John Bookless

Planning-Based Social Partners for Children with Autism (AF2 - Session Ia – June 12)
Sara Bernardini, Kaska Porayska-Pomsta

Timeline-Based Planning for Engaging Training Experiences (AF3 – Session IVa – June 13)
Gabriella Cortellessa, Riccardo De Benedictis, Marco Pagani

Planning Personalised Museum Visits (AF4 – Session Ia – June 12)
Daniel Le Berre, Pierre Marquis, Stéphanie Roussel

Planning for Social Interaction in a Robot Bartender Domain (AF5 – Session IVa – June 13)
Ronald P. A. Petrick, Mary Ellen Foster
(ICAPS 2013 Special Track on Novel Applications Best Paper)

Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network (AF6 – Session VIa – June 13)
Chiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long
(ICAPS 2013 Special Track on Novel Applications Best Student Paper)

Planning Spacecraft Activities: An Automated Approach  (AF7 – Session VIIIa – June 14)
Nicola Policella, Henrique Oliveira, Edoardo Benzi

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

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

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

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

Special Track on Novel Applications – Short Papers

Challenge: Modelling Unit Commitment as a Planning Problem (AS1 – Session VIIIa – June 14)
Joshua Campion, Chris Dent, Maria Fox, Derek Long, Daniele Magazzeni

Task Sequencing for Remote Laser Welding in the Automotive Industry  (AS2 – Session Va – June 13)
Andras Kovacs

The Windy Domain — A Challenging Real-World Application of Integrated Planning
and Scheduling (AS3 – Session IVa – June 13)
David Pattison, Wenbin Xie, Francis Quail 

Journal Presentation Track

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

Planning Solar Array Operations on the International Space Station  (J2 – Session Ia – June 12)
Jeremy Frank

Narrative planning: Compilations to classical planning (J3 – Session IXa – June 14)
Patrik Haslum

Optimal Control as a Graphical Model Inference Problem (J4 – Session VIIIb – June 14)
Hilbert J. Kappen, Vicenç Gomez, Manfred Opper

Linear Fitted-Q Iteration with Multiple Reward Functions (J5 – Session VIIIb – June 14)
Daniel J. Lizotte, Michael Bowling, Susan A. Murphy

A Min-Flow Algorithm for Minimal Critical Set Detection in Resource Constrained Project Scheduling (J6 – Session VIIb – June 14)
Michele Lombardi, Michela Milano

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

Paper Summary: Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk  (J8 – Session IIIa – June 12)
Masahiro Ono, Brian C. Williams, Lars Blackmore

A Constraint-Based Approach for Proactive, Context-Aware Human Support (J9 – Session Vb – June 13)
Federico Pecora, Marcello Cirillo, Francesca Dell’Osa, Jonas Ullberg, Alessandro Saffiotti

An Investigation of Actions, Change and Space  (J10 -  Session IVb – June 13)
Paulo E. Santos, Pedro Cabalar

Temporal-Difference Search in Computer Go (J11 – Session VIIIb – June 14)
David Silver, Richard Sutton, Martin Mueller

Solving the Traveling Tournament Problem with Iterative-Deepening A* (J12 – Session Vb – June 13)
David Uthus, Patricia J. Riddle, Hans W. Guesgen