ICAPS-2017 Journal Track Accepted Papers

  • Isabel Cenamor, Tomas de la Rosa, and Fernando Fernandez
    The IBaCoP Planning System: Instance-Based Configured Portfolios J. Artif. Intell. Res. (JAIR), volume 56, pages 657–691, 2016 http://jair.org/media/5080/live-5080-9497-jair.pdf
  • Roman Barták and Jindřich Vodrážka
    An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner Fundamenta Informaticae, vol. 149, no. 1-2, pp. 35-60, 2016 http://content.iospress.com/articles/fundamenta-informaticae/fi1442
  • Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, and Bram Ridder
    Opportunistic Planning in Autonomous Underwater Missions IEEE Transactions on Automation Science and Engineering, Print ISSN: 1545-5955, Online ISSN: 1558-3783, Digital Object Identifier: 10.1109/TASE.2016.2636662 http://ieeexplore.ieee.org/document/7828036/

ICAPS-2017 Accepted Papers

  • Hany Abdulsamad, Oleg Arenz, Jan Peters and Gerhard Neumann.
    State-Regularized Policy Search for Linearized Dynamical Systems
  • Mohammad Abdul Aziz, Charles Gretton and Michael Norrish.
    A State Space Acyclicity Property for Exponentially Tighter Plan Length Bounds
  • Masataro Asai and Alex Fukunaga.
    Exploration Among and Within Plateaus in Greedy Best-First Search
  • Gregor Behnke, Daniel Höller and Susanne Biundo.
    Plan-Verification for HTN Planning Problems
  • Sara Bernardini, Maria Fox, Derek Long and Chiara Piacentini.
    Boosting search guidance in problems with semantic attachments
  • Blai Bonet, Gabriel Formica and Melecio Ponte.
    Completeness of Online Planners for Partially Observable Deterministic Tasks
  • Cen Chen, Zachary Rubinstein, Stephen Smith and Hoong Chuin Lau.
    Tackling Large-scale Home Health Care Delivery Problem with Uncertainty
  • Amanda Coles and Andrew Coles.
    A Temporal Relaxed Planning Graph Heuristic for Planning With Envelopes
  • Bence Cserna, Wheeler Ruml and Jeremy Frank.
    Planning Time to Think: Metareasoning for On-line Planning with Durative Actions
  • Jing Cui and Patrik Haslum.
    Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty
  • Matthew Crosby, Francesco Rovida, Volker Krueger and Ron Petrick.
    Integrating Mission and Task Planning in an Industrial Robotics Framework
  • Louis Dressel and Mykel Kochenderfer.
    Efficient Decision-Theoretic Target Localization
  • Jürgen Eckerle, Jingwei Chen, Nathan Sturtevant, Sandra Zilles and Robert Holte.
    Sufficient Conditions for Node Expansion in Bidirectional Heuristic Search
  • Salomé Eriksson, Gabriele Röger and Malte Helmert.
    Unsolvability Certificates for Classical Planning
  • Gaojian Fan, Martin Mueller and Robert Holte.
    The Two-edged Nature of Diverse Action Costs
  • Maximilian Fickert and Joerg Hoffmann.
    Online Heuristic-Function Refinement: Learning Conjunctions for Partial Delete Relaxation
  • Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer and Andrea Orlandini.
    Complexity of Timeline-based Planning
  • Supriyo Ghosh and Pradeep Varakantham.
    Incentivizing the Use of Bike Trailers for Dynamic Repositioning in Bike Sharing Systems
  • Daniel Gnad, Álvaro Torralba, Alexander Shleyfman and Joerg Hoffmann.
    Symmetry Breaking in Star-Topology Decoupled Search
  • Stephan Gocht and Tomas Balyo.
    Accelerating SAT Based Planning with Incremental SAT Solving
  • Miguel Ángel González Fernández, Angelo Oddi and Riccardo Rasconi.
    Multi-objective optimization in a job shop with energy costs through hybrid evolutionary techniques
  • Nakul Gopalan, Marie desJardins, Michael L. Littman, James MacGlashan, Shawn Squire, Stefanie Tellex, John Winder and Lawson L.S. Wong.
    Planning with Abstract Markov Decision Processes
  • Roderic Grupen, Michael W. Lanighan and Takeshi Takahashi.
    Hybrid Task Planning Grounded in Belief: Constructing Physical Copies of Simple Structures
  • Carlos Hernández Ulloa and Jorge Baier.
    Improving MPGAA* for Extended Visibility Ranges
  • Ludovic Hofer and Quentin Rouxel.
    An operational method toward efficient navigation policies for humanoid robots
  • Till Hofmann, Tim Niemueller and Gerhard Lakemeyer.
    Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots
  • Hsu-Chieh Hu and Stephen Smith.
    Coping with Large Traffic Volumes in Schedule-Driven Traffic Signal Control
  • Erez Karpas, Alexander Shleyfman and Moshe Tennenholtz.
    Automated Verification of Social Law Robustness in STRIPS
  • Michael Katz, Nir Lipovetzky, Dany Moshkovich and Alexander Tuisov.
    Adapting Novelty to Classical Planning as Heuristic Search
  • Shamin Kinathil, Harold Soh and Scott Sanner.
    Analytic Decision Analysis via Symbolic Dynamic Programming for Parameterized Hybrid MDPs
  • Filippos Kominis and Hector Geffner.
    Multiagent Online Planning with Nested Beliefs and Dialogue
  • Philippe Laborie and Bilal Messaoudi.
    New Results for the GEOCAPE Observation Scheduling Problem
  • Bruno Lacerda, David Parker and Nick Hawes.
    Multi-objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees
  • Duong Le and Erion Plaku.
    Cooperative Multi-Robot Sampling-Based Motion Planning with Dynamics
  • Alan Lindsay, Jonathon Read, João Ferreira, Thomas Hayton, Julie Porteous and Peter Gregory.
    Framer: Planning Models from Natural Language Action Descriptions
  • Nir Lipovetzky and Hector Geffner.
    A polynomial planning algorithm that beats FF and LAMA
  • Meghna Lowalekar, Pradeep Varakantham, Supriyo Ghosh, Sanjay Dominik Jena and Patrick Jaillet.
    Online Repositioning in Bike Sharing Systems
  • Lee Mccluskey and Mauro Vallati.
    Embedding Automated Planning within Urban Traffic Management Operations
  • Shuwa Miura and Alex Fukunaga.
    Automatic Extraction of Axioms for Planning
  • Mohammad Hossain Namaki, F A Rezaur Rahman Chowdhury, Md Rakibul Islam, Janardhan Rao Doppa and Yinghui Wu.
    Learning to Speed Up Query Planning in Graph Databases
  • Venkatraman Narayanan and Maxim Likhachev.
    Heuristic Search on Graphs with Existence Priors for Expensive-to-Evaluate Edges
  • Florian Pommerening, Malte Helmert and Blai Bonet.
    Abstraction Heuristics, Cost Partitioning and Network Flows
  • Pedro M. d'Orey, José Azevedo and Michel Ferreira.
    Automated Planning and Control for High-Density Parking Lots
  • Simon Parkinson, Andrew Longstaff, Simon Fletcher, Mauro Vallati and Lukas Chrpa.
    On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations
  • Srikumar Ramalingam, Arvind Raghunathan and Daniel Nikovski.
    Submodular Function Maximization for Group Elevator Scheduling
  • Tomas De La Rosa, Isabel Cenamor and Fernando Fernández.
    Performance Modelling of Planners from Homogeneous Problem Sets
  • Hadi Salman, Elif Ayvali and Howie Choset.
    Multi-Agent Ergodic Coverage with Obstacle Avoidance
  • Matteo Salvetti, Adi Botea, Alessandro Saetti and Alfonso Gerevini.
    Compressed Path Databases with Ordered Wildcard Substitutions
  • Oren Salzman, Brian Hou and Siddhartha Srinivasa.
    Efficient motion planning for problems lacking optimal substructure
  • Valerio Sanelli, Michael Cashmore, Luca Iocchi and Daniele Magazzeni.
    Short-Term Human Robot Interaction through Conditional Planning and Execution
  • Eugenio Sebastiani, Raphaël Lallement, Luca Iocchi and Rachid Alami.
    Dealing with On-line Human-Robot Negotiations in Hierarchical Agent-based Task Planner
  • Javier Segovia-Aguas, Sergio Jimenez and Anders Jonsson.
    Unsupervised learning of planning tasks
  • Jendrik Seipp, Thomas Keller and Malte Helmert.
    A Comparison of Cost Partitioning Algorithms for Optimal Classical Planning
  • Guy Shani, Ronen Brafman and Shlomi Maliah.
    Increased Privacy with Reduced Communication in Multi-Agent Planning
  • Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Joerg Hoffmann and Alfonso Emilio Gerevini.
    Beyond Red-Black Planning: Limited-Memory State Variables
  • Mohan Sridharan and Ben Meadows.
    Declarative Programming and Relational Learning for Reasoning with and Learning Affordances
  • Simon Ståhlberg. Tailoring Pattern Databases for Unsolvable Planning Instances
  • Marcel Steinmetz and Joerg Hoffmann.
    Critical-Path Dead-End Detection vs. NoGoods: Offline Equivalence and Online Learning
  • Michal Štolba, Jan Tožička and Antonín Komenda.
    The Limits of Strong Privacy Preserving Multi-Agent Planning
  • Breelyn Kane Styler and Reid Simmons.
    Plan-Time Multi-Model Switching for Motion Planning
  • Son To, Benjamin Johnson, Mark Roberts, Thomas Apker and David Aha.
    A New Approach to Temporal Planning with Rich Metric Temporal Properties
  • Felipe Trevizan, Sylvie Thiebaux and Patrik Haslum.
    Occupation Measure Heuristics for Probabilistic Planning
  • Shivam Vats, Venkatraman Narayanan and Maxim Likhachev.
    Learning to Avoid Local Minima in Planning for Static Environments
  • Tanvi Verma, Pradeep Varakantham, Sarit Kraus and Hoong Chuin Lau.
    Augmenting Decisions of Taxi Drivers through Reinforcement Learning for Improving Revenues
  • Glenn Wagner and Howie Choset.
    Path Planning for Multiple Agents Under Uncertainty
  • Thayne T. Walker, Nathan Sturtevant and David Chan.
    Using Hierarchical Constraints to Avoid Conflicts in Multi-Agent Pathfinding
  • Zhihui Wang, Bryan O'Gorman, Tony Tran, Eleanor Rieffel, Jeremy Frank and Minh Do.
    An Investigation of Phase Transitions in Single-Machine Scheduling Problems
  • Dominik Winterer, Yusra Alkhazraji, Michael Katz and Martin Wehrle.
    Stubborn Sets for Fully Observable Nondeterministic Planning
  • Konstantin Yakovlev and Anton Andreychuk.
    Any-Angle Pathfinding For Multiple Robots Based On SIPP Algorithm
  • Qi Zhang, Satinder Singh and Edmund Durfee.
    Minimizing Maximum Regret in Commitment Constrained Sequential Decision Making
  • Shun Zhang, Edmund Durfee and Satinder Singh.
    Approximately-Optimal Queries for Planning in Reward-Uncertain Markov Decision Processes