Table of Contents

• A Constraint-Based Approach for Proactive, Context-Aware Human SupportFederico Pecora, Marcello Cirillo, Francesca Dell'Osa, Jonas Ullberg, Alessandro Saffiotti. [doi]
• Searching for Good Solutions in Goal-Dense Search SpacesAmanda Jane Coles, Andrew Coles. [doi]
• Trial-Based Heuristic Tree Search for Finite Horizon MDPsThomas Keller 0001, Malte Helmert. [doi]
• New Encoding Methods for SAT-Based Temporal PlanningMasood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani. [doi]
• An Optimal Any-Angle Pathfinding AlgorithmDaniel Damir Harabor, Alban Grastien. [doi]
• Constricting Insertion Heuristic for Traveling Salesman Problem with NeighborhoodsSergey Alatartsev, Marcus Augustine, Frank Ortmeier. [doi]
• Optimal Control as a Graphical Model Inference ProblemHilbert J. Kappen, Vicenç Gómez, Manfred Opper. [doi]
• Timeline-Based Planning for Engaging Training ExperiencesGabriella Cortellessa, Riccardo De Benedictis, Marco Pagani. [doi]
• Behavior Composition as Fully Observable Non-Deterministic PlanningMiquel Ramírez, Nitin Yadav, Sebastian Sardiña. [doi]
• Incremental LM-CutFlorian Pommerening, Malte Helmert. [doi]
• HTN Planning for the Composition of Stream Processing ApplicationsShirin Sohrabi, Octavian Udrea, Anand Ranganathan, Anton Riabov. [doi]
• Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity NetworkChiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long. [doi]
• Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long SolutionsAldo Porco, Alejandro Machado, Blai Bonet. [doi]
• Smart Urban Signal Networks: Initial Application of the SURTRAC Adaptive Traffic Signal Control SystemStephen F. Smith, Gregory J. Barlow, Xiao-Feng Xie, Zachary B. Rubinstein. [doi]
• Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based ApproachAlessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta. [doi]
• Moving Target Search with Compressed Path DatabasesAdi Botea, Jorge A. Baier, Daniel Harabor, Carlos Hernández. [doi]
• Planning Spacecraft Activities: An Automated ApproachNicola Policella, Henrique Oliveira, Edoardo Benzi. [doi]
• Symmetry Breaking: Satisficing Planning and Landmark HeuristicsCarmel Domshlak, Michael Katz, Alexander Shleyfman. [doi]
• Exploiting Fully Observable and Deterministic Structures in Goal POMDPsHåkan Warnquist, Jonas Kvarnström, Patrick Doherty. [doi]
• An Investigation of Actions, Change and SpacePaulo E. Santos, Pedro Cabalar. [doi]
• Multi-Modal Journey Planning in the Presence of UncertaintyAdi Botea, Evdokia Nikolova, Michele Berlingerio. [doi]
• Temporal-Difference Search in Computer GoDavid Silver, Richard S. Sutton, Martin Mueller. [doi]
• Planning for Social Interaction in a Robot Bartender DomainRonald P. A. Petrick, Mary Ellen Foster. [doi]
• A Min-Flow Algorithm for Minimal Critical Set Detection in Resource Constrained Project SchedulingMichele Lombardi, Michela Milano. [doi]
• Scheduling with Contingent Resources and TasksJussi Rintanen. [doi]
• Hybrid Queueing Theory and Scheduling Models for Dynamic Environments with Sequence-Dependent Setup TimesTony T. Tran, Daria Terekhov, Douglas G. Down, J. Christopher Beck. [doi]
• Using Alternative Suboptimality Bounds in Heuristic SearchRichard Anthony Valenzano, Shahab Jabbari Arfaee, Jordan Tyler Thayer, Roni Stern, Nathan R. Sturtevant. [doi]
• Incremental Planning with Adaptive DimensionalityKalin Gochev, Alla Safonova, Maxim Likhachev. [doi]
• Incremental Dynamic Controllability RevisitedMikael Nilsson, Jonas Kvarnström, Patrick Doherty. [doi]
• De-Cycling Cyclic Scheduling ProblemsAlessio Bonfietti, Michele Lombardi, Michela Milano. [doi]
• The Windy Domain - A Challenging Real-World Application of Integrated Planning and SchedulingDavid Pattison, Wenbin Xie, Francis Quail. [doi]
• Faster Optimal Planning with Partial-Order PruningDavid Leo Wright Hall, Alon Cohen, David Burkett, Dan Klein. [doi]
• Counterexample-Guided Cartesian Abstraction RefinementJendrik Seipp, Malte Helmert. [doi]
• Solving the Traveling Tournament Problem with Iterative-Deepening ADavid C. Uthus, Patricia J. Riddle, Hans W. Guesgen. [doi]
• Who Said We Need to Relax All Variables?Michael Katz, Jörg Hoffmann, Carmel Domshlak. [doi]
• An Approach for Efficient Planning of Robotic Manipulation TasksRichard Dearden, Chris Burbridge. [doi]
• Better Time Constrained Search via Randomization and PostprocessingFan Xie, Richard Valenzano, Martin Müller. [doi]
• An Optimal Constraint Programming Approach to the Open-Shop ProblemArnaud Malapert, Hadrien Cambazard, Christelle Guéret, Narendra Jussien, André Langevin, Louis-Martin Rousseau. [doi]
• Distributed Algorithms for Incrementally Maintaining Multiagent Simple Temporal NetworksJames C. Boerkoel Jr., Léon Planken, Ronald Wilcox, Julie A. Shah. [doi]
• Partially Grounded Planning as Quantified Boolean FormulaMichael Cashmore, Maria Fox, Enrico Giunchiglia. [doi]
• Stronger Abstraction Heuristics Through Perimeter SearchPatrick Eyerich, Malte Helmert. [doi]
• Planning Solar Array Operations on the International Space StationJeremy Frank. [doi]
• Linear Fitted-Q Iteration with Multiple Reward FunctionsDaniel J. Lizotte, Michael Bowling, Susan A. Murphy. [doi]
• Challenge: Modelling Unit Commitment as a Planning ProblemJoshua Campion, Chris Dent, Maria Fox, Derek Long, Daniele Magazzeni. [doi]
• On Adversarial Policy Switching with Experiments in Real-Time Strategy GamesBrian King, Alan Fern, Jesse Hostetler. [doi]
• Integrated Operations (Re-)Scheduling from Mine to ShipKameshwaran Sampath, Alfiya Tezabwala, Alain Chabrier, Julain Payne, Fabio Tiozzo. [doi]
• Task Sequencing for Remote Laser Welding in the Automotive IndustryAndrás Kovács. [doi]
• Optimally Scheduling Small Numbers of Identical Parallel MachinesRichard E. Korf, Ethan L. Schreiber. [doi]
• A Generic Technique for Synthesizing Bounded Finite-State ControllersYuxiao Hu, Giuseppe De Giacomo. [doi]
• An Efficient Memetic Algorithm for the Flexible Job Shop with Setup TimesMiguel A. González, Camino R. Vela, Ramiro Varela. [doi]
• Abstractions for Oversubscription PlanningVitaly Mirkis, Carmel Domshlak. [doi]
• Paper Summary: Probabilistic Planning for Continuous Dynamic Systems under Bounded RiskMasahiro Ono, Brian C. Williams, Lars Blackmore. [doi]
• Automated Agent Decomposition for Classical PlanningMatt Crosby, Michael Rovatsos, Ronald P. A. Petrick. [doi]
• A Reformulation for the Problem of Scheduling Unrelated Parallel Machines with Sequence and Machine Dependent Setup TimesOliver Avalos-Rosales, Ada Margarita Alvarez, Francisco Ángel-Bello. [doi]
• A Flexible Approach to Modeling Unpredictable Events in MDPsStefan J. Witwicki, Francisco S. Melo, Jesus Capitan, Matthijs T. J. Spaan. [doi]
• What's in It for My BDD? On Causal Graphs and Variable Orders in PlanningPeter Kissmann, Jörg Hoffmann. [doi]
• Fault Tolerant Planning: Complexity and CompilationCarmel Domshlak. [doi]
• Planning under Uncertainty for Coordinating Infrastructural Maintenance Joris Scharpff, Matthijs T. J. Spaan, Leentje Volker, Mathijs de Weerdt. [doi]
• Safe, Strong, and Tractable Relevance Analysis for PlanningPatrik Haslum, Malte Helmert, Anders Jonsson. [doi]
• Path Planning with Compressed All-Pairs Shortest Paths DataAdi Botea, Daniel Harabor. [doi]
• Planning-Based Social Partners for Children with AutismSara Bernardini, Kaska Porayska-Pomsta. [doi]
• Dynamic Online Planning and Scheduling Using a Static Invariant-Based Evaluation ModelCédric Pralet, Gérard Verfaillie. [doi]
• Heuristics for Bounded-Cost SearchPatrik Haslum. [doi]
• When Acyclicity Is Not Enough: Limitations of the Causal GraphAnders Jonsson, Peter Jonsson, Tomas Lööw. [doi]
• Transition Trees for Cost-Optimal Symbolic PlanningÁlvaro Torralba, Stefan Edelkamp, Peter Kissmann. [doi]
• Compiling Conformant Probabilistic Planning Problems into Classical PlanningRan Taig, Ronen I. Brafman. [doi]
• Domain Predictive Control Under Uncertain Numerical State InformationJohannes Löhr, Patrick Eyerich, Stefan Winkler, Bernhard Nebel. [doi]
• Autonomous Search and Tracking via Temporal PlanningSara Bernardini, Maria Fox, Derek Long, John Bookless. [doi]
• Subgoal Graphs for Optimal Pathfinding in Eight-Neighbor GridsTansel Uras, Sven Koenig, Carlos Hernández. [doi]
• Planning Personalised Museum VisitsDaniel Le Berre, Pierre Marquis, Stéphanie Roussel. [doi]
• The Relative Pruning Power of Strong Stubborn Sets and Expansion CoreMartin Wehrle, Malte Helmert, Yusra Alkhazraji, Robert Mattmüller. [doi]