If not indicated otherwise, all technical sessions are located in the
Regency Grand Ballroom, Second Floor.
| 8:15 |
Opening Remarks |
| 8:30 - 9:30 |
Invited Talk
Session-Chair: Kanna Rajan
|
|
|
| 9:30 - 10:30 |
Applications of P&S I
Session-Chair: José-Luis Ambite
|
- Automated Composition of Web Services by Planning in Asynchronous Domains
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, University of Trento, Italy
- Course of Action Generation for Cyber Security Using Classical Planning
Mark Boddy, Johnathan Gohde, Tom Haigh, Steven Harp, Adventium Labs, USA
|
| 10:30 |
Coffee Break Mark Thomas Foyer |
| 11:00 - 12:30 |
Search for P&S I
Session-Chair: Malik Ghallab
|
- Beam-Stack Search: Integrating Backtracking with Beam Search
Rong Zhou, Eric Hansen, Mississippi State University, USA
- Contingent Planning via Heuristic Forward Search with Implicit Belief States
Joerg Hoffmann, Ronen Brafman, Max-Planck-Institut fuer Informatik Saarbruecken, Germany
- A Generalized Framework for Lifelong Planning A*
Maxim Likhachev, Sven Koenig, Carnegie Mellon University, USA
|
| 12:30 - 1:30 |
Lunch
Pacific-Grove, Hyatt Monterey Resort
|
| 1:30 - 2:00 |
Business Meeting
|
| 2:00 - 3:30 |
Dynamic and Cumulative P&S
Session-Chair: Stephen Smith
|
- Plan Repair as an Extension of Planning
Roman van der Krogt, Mathijs de Weerdt, Delft University of Technology, Netherlands
- Online Stochastic Optimization Without Distributions
Russell Bent, Pascal van Hentenryck, Brown University, USA
- Randomized Large Neighborhood Search for Cumulative Scheduling
Daniel Godard, Philippe Laborie, Wim Nuitjen, ILOG, France
|
| 3:30 |
Coffee Break Mark Thomas Foyer |
| 4:00 - 5:30 |
Domain Models and Learning
Session-Chair: Daniel Borrajo
|
- Discovering Planning Invariants as Anomalies in State Descriptions
Proshanto Mukherji, Lenhart Schubert, University of Rochester, USA
- Learning Partial-Order Macros from Solutions
Adi Botea, Martin Mueller, Jonathan Schaeffer, University of Alberta, Canada
- Learning Action Models from Plan Examples with Incomplete Knowledge
Qiang Yang, Kangheng Wu, Yunfei Jiang, Hong Kong University of Science and Technology, China
|
| 5:30 - 5:50 |
K.E. Competition Results |
| 6:00 - 8:00 |
Doctoral Consortium,
System Demonstrations,
Poster & Reception
Pacific-Grove, Hyatt Monterey Resort
|
| 8:00 - 8:30 |
Talk by Marcia McNutt
Pacific-Grove, Hyatt Monterey Resort
|
| 8:30 - 9:30 |
Invited Talk
Session-Chair: Karen Myers
|
|
|
| 9:30 - 10:30 |
Mixed-Initiative P&S
Session-Chair: Pauline Berry
|
- Activity Planning for the Mars Exploration Rovers
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan, NASA Ames Research Center, USA
- Planning As Mixed-initiative Goal Manipulation
Michael Cox, Chen Zhang, Wright State University, USA
|
| 10:30 |
Coffee Break Mark Thomas Foyer |
| 11:00 - 12:30 |
Search for P&S II
Session-Chair: Maria Fox
|
- Characterizing the Distribution of Low-Makespan Schedules in the Job Shop Scheduling Problem
Matthew Streeter, Stephen Smith, Carnegie Mellon University, USA
- External Symbolic Heursitic Search with Pattern Databases
Stefan Edelkamp, University of Dortmund, Germany
- Planning Graph Heuristics for Selecting Objectives in Over-subscription Planning Problems
Romeo Sanchez, Subbarao Kambhampati, Arizona State University, USA
|
| 12:30 - 2:00 |
Lunch
Pacific-Grove, Hyatt Monterey Resort
|
| 2:00 - 3:30 |
Temporal Planning
Session-Chair: Martha Pollack
|
- On the Tractability of Restricted Disjunctive Temporal Problems
T. K. Satish Kumar, Stanford University, USA
- Concurrent Probabilistic Temporal Planning
Mausam, Daniel Weld, University of Washington, USA
- Search Control in Planning for Temporally Extended Goals
Froduald Kabanza, Sylvie Thiebaux, Universite de Sherbrooke, Canada
|
| 3:30 |
Coffee Break Mark Thomas Foyer |
| 4:00 - 5:00 |
Planning under Uncertainty
Session-Chair: Sylvie Thiebaux
|
- Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations
Hector Palacios, Blai Bonet, Adnan Darwiche, Hector Geffner, Universitat Pompeu Fabra, Spain
- Fast Exact Planning in Markov Decision Processes
H. Brendan McMahan, Geoffrey Gordon, Carnegie Mellon University, USA
|
| 5:00 - 6:15 |
Festivus |
| 6:30 - 10:30 |
Conference Dinner and Awards Ceremony
Bus boarding at 6:30
Monterey Bay Aquarium
|
| 8:30 - 9:30 |
Invited Talk
Session-Chair: Susanne Biundo
|
|
|
| 9:30 - 10:30 |
Applications of P&S II
Session-Chair: Amedeo Cesta
|
- On-line Planning and Scheduling for High-speed Manufacturing
Wheeler Ruml, Minh Do, Markus Fromherz, Palo Alto Research Center, USA
- Minimizing Breaks in Sport Scheduling with Local Search
Pascal van Hentenryck, Yannis Vergados, Brown University, USA
|
| 10:30 |
Coffee Break Mark Thomas Foyer |
| 11:00 - 12:30 |
Anytime P&S
Session-Chair: Adele Howe
|
- Enabling Fast Flexible Planning through Incremental Temporal Reasoning with Conflict Extraction
I-hsiang Shu, Robert Effinger, Brian Williams, MIT, USA
- Anytime Dynamic A*: An Anytime, Replanning Algorithm
Maxim Likhachev, David Ferguson, Geoffrey Gordon, Anthony Stentz, Sebastian Thrun, Carnegie Mellon University, USA
- Maximizing Availability: A Commitment Heuristic for Oversubscribed Scheduling Problems
Laurence Kramer, Stephen Smith, Carnegie Mellon University, USA
|
| 12:30 - 2:00 |
Lunch
Pacific-Grove, Hyatt Monterey Resort
|
| 2:00 - 3:30 |
Overconstrained Problems
Session-Chair: Nicola Muscettola
|
- Planning with Goal Preferences and Constraints
Ronen Brafman, Yuri Chernyavsky, NASA Ames Research Center & Stanford University, USA
- Solving Over-constrained Disjunctive Temporal Problems with Preferences
Bart Peintner, Michael Moffitt, Martha Pollack, University of Michigan, USA
- Retaining Flexibility to Maximize Quality: When the Scheduler Has the Right to Decide Activity Duration
Xiaofang Wang, Stephen Smith, Carnegie Mellon University, USA
|
| 3:30 |
Coffee Break Mark Thomas Foyer |
| 4:00 - 5:00 |
Planning via Modelchecking
Session-Chair: Toby Walsh
|
- Satisfiability Planning with Constraints on the Number of Actions
Markus Büttner, Jussi Rintanen, Albert-Ludwigs-Universität Freiburg, Germany
- A Hierarchical Task-Network Planner based on Symbolic Model Checking
Ugur Kuter, Dana Nau, Marco Pistore, Paolo Traverso, University of Maryland, USA
|
| 5:00 - 6:00 |
New Techniques for Planning
Session-Chair: Mark Boddy
|
- Reviving Integer Programming Approaches for AI Planning: A Branch-and-Cut Framework
Menkes van den Briel, Thomas Vossen, Subbarao Kambhampati, Arizona State University, USA
- Genetic Planning Using Variable Length Chromosomes
Alexandru Horia Brie, Philippe Morignot, Ecole Polytechnique Palaiseau, France
|
| 6:00 |
Closing Remarks |