Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling
Edited by Laura Barbulescu, Jeremy Frank, Mausam, Stephen F. Smith
Pittsburgh, Pennsylvania USA
June 18–23, 2017.
Published by The AAAI Press, Palo Alto, California.
This proceedings is also available in book format.
Main Track
A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds / 2
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
Exploration among and within Plateaus in Greedy Best-First Search / 11
Masataro Asai, Alex Fukunaga
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems / 20
Gregor Behnke, Daniel Höller, Susanne Biundo
Boosting Search Guidance in Problems with Semantic Attachments / 29
Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
Completeness of Online Planners for Partially Observable Deterministic Tasks / 38
Blai Bonet, Gabriel Formica, Melecio Ponte
A Temporal Relaxed Planning Graph Heuristic for Planning with Envelopes / 47
Amanda Jane Coles, Andrew Ian Coles
Planning Time to Think: Metareasoning for On-Line Planning with Durative Actions / 56
Bence Cserna, Wheeler Ruml, Jeremy Frank
Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty / 61
Jing Cui, Patrik Haslum
Efficient Decision-Theoretic Target Localization / 70
Louis Dressel, Mykel J. Kochenderfer
Sufficient Conditions for Node Expansion in Bidirectional Heuristic Search / 79
Juergen Eckerle, Jingwei Chen, Nathan R. Sturtevant, Sandra Zilles, Robert C. Holte
Unsolvability Certificates for Classical Planning / 88
Salomé Eriksson, Gabriele Röger, Malte Helmert
The Two-Edged Nature of Diverse Action Costs / 98
Gaojian Fan, Martin Müller, Robert Holte
Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement / 107
Maximilian Fickert, Joerg Hoffmann
Complexity of Timeline-Based Planning / 116
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
Symmetry Breaking in Star-Topology Decoupled Search / 125
Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Joerg Hoffmann
Accelerating SAT Based Planning with Incremental SAT Solving / 135
Stephan Gocht, Tomáš Balyo
Multi-Objective Optimization in a Job Shop with Energy Costs through Hybrid Evolutionary Techniques / 140
Miguel Ángel González, Angelo Oddi, Riccardo Rasconi
Improving MPGAA* for Extended Visibility Ranges / 149
Carlos Hernández, Jorge A. Baier
Coping with Large Traffic Volumes in Schedule-Driven Traffic Signal Control / 154
Hsu-Chieh Hu, Stephen Smith
Automated Verification of Social Law Robustness in STRIPS / 163
Erez Karpas, Alexander Shleyfman, Moshe Tennenholtz
Adapting Novelty to Classical Planning as Heuristic Search / 172
Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
Analytic Decision Analysis via Symbolic Dynamic Programming for Parameterized Hybrid MDPs / 181
Shamin Kinathil, Harold Soh, Scott Sanner
Multiagent Online Planning with Nested Beliefs and Dialogue / 186
Filippos Kominis, Hector Geffner
A Polynomial Planning Algorithm that Beats LAMA and FF / 195
Nir Lipovetzky, Hector Geffner
Online Repositioning in Bike Sharing Systems / 200
Meghna Lowalekar, Pradeep Varakantham, Supriyo Ghosh, Sanjay Dominik Jena, Patrick Jaillet
Increased Privacy with Reduced Communication in Multi-Agent Planning / 209
Shlomi Maliah, Ronen I. Brafman, Guy Shani
Automatic Extraction of Axioms for Planning / 218
Shuwa Miura, Alex Fukunaga
Abstraction Heuristics, Cost Partitioning and Network Flows / 228
Florian Pommerening, Malte Helmert, Blai Bonet
Submodular Function Maximization for Group Elevator Scheduling / 233
Srikumar Ramalingam, Arvind U. Raghunathan, Daniel Nikovski
Multi-Agent Ergodic Coverage with Obstacle Avoidance / 242
Hadi Salman, Elif Ayvali, Howie Choset
Compressed Path Databases with Ordered Wildcard Substitutions / 250
Matteo Salvetti, Adi Botea, Alessandro Saetti, Alfonso Emilio Gerevini
A Comparison of Cost Partitioning Algorithms for Optimal Classical Planning / 259
Jendrik Seipp, Thomas Keller, Malte Helmert
Beyond Red-Black Planning: Limited-Memory State Variables / 269
Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini
Tailoring Pattern Databases for Unsolvable Planning Instances / 274
Simon Ståhlberg
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning / 283
Marcel Steinmetz, Jörg Hoffmann
A New Approach to Temporal Planning with Rich Metric Temporal Properties / 288
Son Thanh To, Benjamin Johnson, Mark Roberts, David W. Aha
The Limits of Strong Privacy Preserving Multi-Agent Planning / 297
Jan Tožička, Michal Štolba, Antonín Komenda
Occupation Measure Heuristics for Probabilistic Planning / 306
Felipe Trevizan, Sylvie Thiébaux, Patrik Haslum
Using Hierarchical Constraints to Avoid Conflicts in Multi-Agent Pathfinding / 316
Thayne T. Walker, David M. Chan, Nathan R. Sturtevant
An Investigation of Phase Transitions in Single-Machine Scheduling Problems / 325
Zhihui Wang, Bryan O'Gorman, Tony T. Tran, Eleanor G. Rieffel, Jeremy Frank, Minh Do
Stubborn Sets for Fully Observable Nondeterministic Planning / 330
Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle
Approximately-Optimal Queries for Planning in Reward-Uncertain Markov Decision Processes / 339
Shun Zhang, Edmund Durfee, Satinder Singh
Minimizing Maximum Regret in Commitment Constrained Sequential Decision Making / 348
Qi Zhang, Satinder Singh, Edmund Durfee
Novel Applications Track
Tackling Large-Scale Home Health Care Delivery Problem with Uncertainty / 358
Cen Chen, Zachary B. Rubinstein, Stephen F. Smith, Hoong Chuin Lau
Automated Planning and Control for High-Density Parking Lots / 367
Pedro M. d'Orey, José Azevedo, Michel Ferreira
Incentivizing the Use of Bike Trailers for Dynamic Repositioning in Bike Sharing Systems / 373
Supriyo Ghosh, Pradeep Varakantham
New Results for the GEO-CAPE Observation Scheduling Problem / 382
Philippe Laborie, Bilal Messaoudi
Embedding Automated Planning within Urban Traffic Management Operations / 391
Thomas Leo McCluskey, Mauro Vallati
On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption between Manufacturing Operations / 400
Simon Parkinson, Andrew Longstaff, Simon Fletcher, Mauro Vallati, Lukas Chrpa
Augmenting Decisions of Taxi Drivers through Reinforcement Learning for Improving Revenues / 409
Tanvi Verma, Pradeep Varakantham, Sarit Kraus, Hoong Chuin Lau
Planning and Learning Track
State-Regularized Policy Search for Linearized Dynamical Systems / 419
Hany Abdulsamad, Oleg Arenz, Jan Peters, Gerhard Neumann
Performance Modelling of Planners from Homogeneous Problem Sets / 425
Tomás de la Rosa, Isabel Cenamor, Fernando Fernández
Framer: Planning Models from Natural Language Action Descriptions / 434
Alan Lindsay, Jonathon Read, João F. Ferreira, Thomas Hayton, Julie Porteous, Peter Gregory
Learning to Speed Up Query Planning in Graph Databases / 443
Mohammad Hossain Namaki, F. A. Rezaur Rahman Chowdhury, Md Rakibul Islam, Janardhan Rao Doppa, Yinghui Wu
Unsupervised Classification of Planning Instances / 452
Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
What Can I Not Do? Towards an Architecture for Reasoning about and Learning Affordances / 461
Mohan Sridharan, Ben Meadows, Rocio Gomez
Robotics Track
Integrating Mission and Task Planning in an Industrial Robotics Framework / 471
Matthew Crosby, Ronald P. A. Petrick, Francesco Rovida, Volker Krueger
Planning with Abstract Markov Decision Processes / 480
Nakul Gopalan, Marie desJardins, Michael L. Littman, James MacGlashan, Shawn Squire, Stefanie Tellex, John Winder, Lawson L.S. Wong
An Operational Method Toward Efficient Walk Control Policies for Humanoid Robots / 489
Ludovic Hofer, Quentin Rouxel
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots / 498
Till Hofmann, Tim Niemueller, Gerhard Lakemeyer
Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees / 504
Bruno Lacerda, David Parker, Nick Hawes
Cooperative Multi-Robot Sampling-Based Motion Planning with Dynamics / 513
Duong Le, Erion Plaku
Heuristic Search on Graphs with Existence Priors for Expensive-to-Evaluate Edges / 522
Venkatraman Narayanan, Maxim Likhachev
Efficient Motion Planning for Problems Lacking Optimal Substructure / 531
Oren Salzman, Brian Hou, Siddhartha Srinivasa
Short-Term Human-Robot Interaction through Conditional Planning and Execution / 540
Valerio Sanelli, Michael Cashmore, Daniele Magazzeni, Luca Iocchi
Dealing with On-line Human-Robot Negotiations in Hierarchical Agent-Based Task Planner / 549
Eugenio Sebastiani, Raphaël Lallement, Rachid Alami, Luca Iocchi
Plan-Time Multi-Model Switching for Motion Planning / 558
Breelyn Melissa Kane Styler, Reid Simmons
Hybrid Task Planning Grounded in Belief: Constructing Physical Copies of Simple Structures / 567
Takeshi Takahashi, Michael William Lanighan, Roderic A. Grupen
Learning to Avoid Local Minima in Planning for Static Environments / 572
Shivam Vats, Venkatraman Narayanan, Maxim Likhachev
Path Planning for Multiple Agents under Uncertainty / 577
Glenn Wagner, Howie Choset
Any-Angle Pathfinding for Multiple Agents Based on SIPP Algorithm / 586
Konstantin Yakovlev, Anton Andreychuk
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.