Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling
Edited by Daniel Borrajo, Subbarao Kambhampati, Angelo Oddi, and Simone Fratini
Rome, Italy, June 10–14, 2013. Published by The AAAI Press, Palo Alto, California. This proceedings is also available in book format.
Full Papers
Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods
Sergey Alatartsev, Marcus Augustine, Frank Ortmeier
Distributed Algorithms for Incrementally Maintaining Multiagent Simple Temporal Networks
James C. Boerkoel Jr., Léon R. Planken, Ronald J. Wilcox, Julie A. Shah
Multi-Modal Journey Planning in the Presence of Uncertainty
Adi Botea, Evdokia Nikolova, Michele Berlingerio
Partially Grounded Planning as Quantified Boolean Formula
Michael Cashmore, Maria Fox, Enrico Giunchiglia
Searching for Good Solutions in Goal-Dense Search Spaces
Amanda Jane Coles, Andrew Ian Coles
Automated Agent Decomposition for Classical Planning
Matthew Crosby, Michael Rovatsos, Ronald P. A. Petrick
An Approach for Efficient Planning of Robotic Manipulation Tasks
Richard Dearden, Chris Burbridge
Fault Tolerant Planning: Complexity and Compilation
Carmel Domshlak
New Encoding Methods for SAT-Based Temporal Planning
Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani
Incremental Planning with Adaptive Dimensionality
Kalin Gochev, Alla Safonova, Maxim Likhachev
An Efficient Memetic Algorithm for the Flexible Job Shop with Setup Times
Miguel ángel González, Camino Rodríguez Vela, Ramiro Varela
Faster Optimal Planning with Partial-Order Pruning
David Leo Wright Hall, Alon Cohen, David Burkett, Dan Klein
A Generic Technique for Synthesizing Bounded Finite-State Controllers
Yuxiao Hu, Giuseppe De Giacomo
When Acyclicity Is Not Enough: Limitations of the Causal Graph
Anders Jonsson, Peter Jonsson, Tomas Lööw
Who Said We Need to Relax All Variables?
Michael Katz, Joerg Hoffmann, Carmel Domshlak
Trial-Based Heuristic Tree Search for Finite Horizon MDPs
Thomas Keller, Malte Helmert
Optimally Scheduling Small Numbers of Identical Parallel Machines
Richard Earl Korf, Ethan L. Schreiber
Abstractions for Oversubscription Planning
Vitaly Mirkis, Carmel Domshlak
Incremental LM-Cut
Florian Pommerening, Malte Helmert
Dynamic Online Planning and Scheduling Using a Static Invariant-Based Evaluation Model
Cédric Pralet, Gérard Verfaillie
Behavior Composition as Fully Observable Non-Deterministic Planning
Miquel Ramirez, Nitin Yadav, Sebastian Sardina
Scheduling with Contingent Resources and Tasks
Jussi Rintanen
Compiling Conformant Probabilistic Planning Problems into Classical Planning
Ran Taig, Ronen I. Brafman
Transition Trees for Cost-Optimal Symbolic Planning
álvaro Torralba, Stefan Edelkamp, Peter Kissmann
Hybrid Queueing Theory and Scheduling Models for Dynamic Environments with Sequence-Dependent Setup Times
Tony T. Tran, Daria Terekhov, Doug G. Down, J. Christopher Beck
Subgoal Graphs for Optimal Pathfinding in Eight-Neighbor Grids
Tansel Uras, Sven Koenig, Carlos Hernandez
Using Alternative Suboptimality Bounds in Heuristic Search
Richard Anthony Valenzano, Shahab Jabbari Arfaee, Jordan Thayer, Roni Stern, Nathan R. Sturtevant
Exploiting Fully Observable and Deterministic Structures in Goal POMDPs
Håkan Warnquist, Jonas Kvarnström, Patrick Doherty
The Relative Pruning Power of Strong Stubborn Sets and Expansion Core
Martin Wehrle, Malte Helmert, Yusra Alkhazraji, Robert Mattmüller
A Flexible Approach to Modeling Unpredictable Events in MDPs
Stefan Witwicki, Francisco Melo, Jesús Capitán, Matthijs Spaan
Better Time Constrained Search via Randomization and Postprocessing
Fan Xie, Richard Valenzano, Martin Müller
Short Papers
A Reformulation for the Problem of Scheduling Unrelated Parallel Machines with Sequence and Machine Dependent Setup Times
Oliver Avalos-Rosales, Ada Margarita Alvarez, Francisco Angel-Bello
De-Cycling Cyclic Scheduling Problems
Alessio Bonfietti, Michele Lombardi, Michela Milano
Moving Target Search with Compressed Path Databases
Adi Botea, Jorge A. Baier, Daniel Harabor, Carlos Hernández
Path Planning with Compressed All-Pairs Shortest Paths Data
Adi Botea, Daniel Harabor
Symmetry Breaking: Satisficing Planning and Landmark Heuristics
Carmel Domshlak, Michael Katz, Alexander Shleyfman
Stronger Abstraction Heuristics Through Perimeter Search
Patrick Eyerich, Malte Helmert
An Optimal Any-Angle Pathfinding Algorithm
Daniel Damir Harabor, Alban Grastien
Heuristics for Bounded-Cost Search
Patrik Haslum
Safe, Strong, and Tractable Relevance Analysis for Planning
Patrik Haslum, Malte Helmert, Anders Jonsson
On Adversarial Policy Switching with Experiments in Real-Time Strategy Games
Brian King, Alan Fern, Jesse Hostetler
What’s in It for My BDD? On Causal Graphs and Variable Orders in Planning
Peter Kissmann, Jörg Hoffmann
Domain Predictive Control Under Uncertain Numerical State Information
Johannes Löhr, Patrick Eyerich, Stefan Winkler, Bernhard Nebel
Incremental Dynamic Controllability Revisited
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions
Aldo Porco, Alejandro Machado, Blai Bonet
Counterexample-Guided Cartesian Abstraction Refinement
Jendrik Seipp, Malte Helmert
Novel Applications Special Track
Autonomous Search and Tracking via Temporal Planning
Sara Bernardini, Maria Fox, Derek Long, John Bookless
Planning-Based Social Partners for Children with Autism
Sara Bernardini, Kaska Porayska-Pomsta
Timeline-Based Planning for Engaging Training Experiences
Gabriella Cortellessa, Riccardo De Benedictis, Marco Pagani
Planning Personalised Museum Visits
Daniel Le Berre, Pierre Marquis, Stéphanie Roussel
Planning for Social Interaction in a Robot Bartender Domain
Ronald P. A. Petrick, Mary Ellen Foster
Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network
Chiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long
Planning Spacecraft Activities: An Automated Approach
Nicola Policella, Henrique Oliveira, Edoardo Benzi
Integrated Operations (Re-)Scheduling from Mine to Ship
Kameshwaran Sampath, Alfiya Tezabwala, Alain Chabrier, Julain Payne, Fabio Tiozzo
Planning under Uncertainty for Coordinating Infrastructural Maintenance
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
Stephen F. Smith, Gregory J. Barlow, Xiao-Feng Xie, Zachary B. Rubinstein
HTN Planning for the Composition of Stream Processing Applications
Shirin Sohrabi, Octavian Udrea, Anand Ranganathan, Anton Riabov
Challenge: Modelling Unit Commitment as a Planning Problem
Joshua Campion, Chris Dent, Maria Fox, Derek Long, Daniele Magazzeni
Task Sequencing for Remote Laser Welding in the Automotive Industry
András Kovács
The Windy Domain — A Challenging Real-World Application of Integrated Planning and Scheduling
David Pattison, Wenbin Xie, Francis Quail
Journal Presentation Track
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach
Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena E. Ponta
Planning Solar Array Operations on the International Space Station
Jeremy Frank
Optimal Control as a Graphical Model Inference Problem
Hilbert J. Kappen, Vicenç Gomez, Manfred Opper
Linear Fitted-Q Iteration with Multiple Reward Functions
Daniel J. Lizotte, Michael Bowling, Susan A. Murphy
A Min-Flow Algorithm for Minimal Critical Set Detection in Resource Constrained Project Scheduling
Michele Lombardi, Michela Milano
An Optimal Constraint Programming Approach to the Open-Shop Problem
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
Masahiro Ono, Brian C. Williams, Lars Blackmore
A Constraint-Based Approach for Proactive, Context-Aware Human Support
Federico Pecora, Marcello Cirillo, Francesca Dell'Osa, Jonas Ullberg, Alessandro Saffiotti
An Investigation of Actions, Change and Space
Paulo E. Santos, Pedro Cabalar
Temporal-Difference Search in Computer Go
David Silver, Richard Sutton, Martin Mueller
Solving the Traveling Tournament Problem with Iterative-Deepening A*
David Uthus, Patricia J. Riddle, Hans W. Guesgen
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.