|
Printable Program
|
Saturday, June 5th: Joint Day with KR
|
8:50 - 9:00 Opening,
|
9:00 - 10:00 Invited talk by Patrick Doherty
|
10:00 - 10:25 Coffee Break
|
10:25 - 12:05 Cognitive Robotics
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing
Ronald P. Petrick, Fahiem Bacchus
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus
Yves Martin, Iman Narasamdya, Michael Thielscher
Precondition Control and the Progression Algorithm:A Situation Calculus Approach
Alfredo Gabaldon
A preference-based interpretation of other agents' actions
Jerome Lang
|
12:05 - 1:30 Lunch Break
|
1:30 - 3:10 Knowledge in Planning
From Hybrid Systems to Universal Plans via Domain Compilation
Anthony Barrett
Planning Graphs and Knowledge Compilation
Hector Geffner
Domain-Specific Preferences for Causal Reasoning and Planning
James Delgrande, Torsten Schaub, Hans Tompits
Learning Probabilistic Relational Planning Rules
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling
|
3:10 - 3:35 Coffee Break
|
3:35 - 5:15 Search in Planning and Scheduling
An Improved Integer Local Search for Complex Scheduling Problems
Weixiong Zhang, Xiaotao Zhang
Breadth-First Heuristic Search
Rong Zhou, Eric A. Hansen
Phase transitions in classical planning: an experimental study
Jussi Rintanen
A Polynomial Time Algorithm for Constructing k-Maintainable Policies
Chitta Baral, Thomas Eiter
|
5:15 - 5:30 Closing Remarks
|
6:00 - 8:00 AI Festival + Doctoral Consortium + Competition/System Demos
|
Sunday, June 6th
|
8:30 - 8:40 Opening Remarks
|
8:40 - 10:00 Search in Planning and Scheduling II
Multiple Pattern Databases
Robert C. Holte, Jack Newton, Ariel Felner, Ram Meshulam, David Furcy
A Linear Search Strategy using Bounds
Sharlee Climer, Weixiong Zhang
Optimal Rectangle Packing: New Results
Richard E. Korf
A Lookahead Strategy for Heuristic Search Planning
Vincent Vidal
|
10:00 - 10:30 Coffee Break
|
10:30 - 11:30 Invited talk by Michela Milano
|
11:30 - 12:50 Scheduling I
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling
Laurent Michel, Pascal Van Hentenryck
Generating Robust Schedules through Temporal Flexibility
Nicola Policella, Stephen F. Smith, Amedeo Cesta, Angelo Oddi
The Value of Consensus in Online Stochastic Scheduling
Russell Bent, Pascal Van Hentenryck
Trading Places: How to Schedule More in a Multi-Resource Oversubscribed Scheduling Problem
Laura Barbulescu, Adele E. Howe, L. Darrell Whitley, Mark Roberts
|
12:50 - 2:00 Lunch Break
|
2:00 - 3:20 Planning & Scheduling Applications
Plays as Effective Multiagent Plans Enabling Opponent-Adaptive Play Selection
Michael Bowling, Brett Browning, Manuela Veloso
Distributed Feedback Control for Decision Making on Supply Chains
Christopher Kiekintveld, Michael P. Wellman, Satinder Singh, Joshua
Estelle, Yevgeniy Vorobeychik, Vishal Soni, Matthew Rudary
Choosing Objectives in Over-Subscription Planning
David E. Smith
Decision-Theoretic Military Operations Planning
Douglas Aberdeen, Sylvie Thiébaux, Lin Zhang
|
3:20 - 3:50 Coffee Break
|
3:50 - 4:50 Probabilistic Planning
Heuristic Refinements of Approximate Linear Programming for Factored Continuous-State Markov Decision Processes
Branislav Kveton, Milos Hauskrecht
Optimal Resource Allocation and Policy Formulation in Loosely-Coupled Markov Decision Processes
Dmitri A. Dolgov, Edmund H. Durfee
Policy Generation for Continuous-time Stochastic Domains with Concurrency
Hakan L. S. Younes, Reid G. Simmons
|
5:00 - 6:00 Report on Competition Results
|
7:00 Conference Dinner
|
Monday, June 7th
|
8:30 - 8:40 Opening Remarks
|
8:40 - 10:00 Classical Planning
A Planning Heuristic Based on Causal Graph Analysis
Malte Helmert
An Empirical Analysis of Some Heuristic Features for Local Search in LPG
Alfonso Gerevini, Alessandro Saetti, Ivan Serina
Using Component Abstraction for Automatic Generation of Macro-Actions
Adi Botea, Martin Mueller, Jonathan Schaeffer
Learning Domain-Specific Control Knowledge from Random Walks
Alan Fern, SungWook Yoon, Robert Givan
|
10:00 - 10:30 Coffee Break
|
10:30 - 11:30 Invited talk by Reid Simmons
|
11:30 - 12:50 Scheduling II
Task Swapping for Schedule Improvement: A Broader Analysis
Laurence A. Kramer, Stephen F. Smith
Price Prediction Strategies for Market-Based Scheduling
Jeffrey K. MacKie-Mason, Anna Osepayshvili, Daniel M. Reeves, Michael
P. Wellman
Two-Job Shop Scheduling Problems with Availability Constraints
Riad Aggoune
Incremental Maximum Flows for Fast Envelope Computation
Nicola Muscettola
|
12:50 - 2:00 Lunch Break
|
2:00 - 3:20 Model Checking and Plan Recognition
Planning with Extended Goals and Partial Observability
Piergiorgio Bertoli, Marco Pistore
Guiding Planner Backjumping Using Verifier Traces
Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
Probabilistic Plan Recognition in Multiagent Systems
Suchi Saria, Sridhar Mahadevan
Statistical Goal Parameter Recognition
Nate Blaylock, James Allen
|
3:20 - 3:50 Coffee Break
|
3:50 - 5:10 Nondeterministic Planning
Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning
Rune M. Jensen, Manuela M. Veloso, Randal E. Bryant
Complexity of Planning with Partial Observability
Jussi Rintanen
Conformant Planning via Heuristic Forward Search: A New Approach
Ronen I. Brafman, Joerg Hoffmann
Heuristic Guidance Measures for Conformant Planning
Daniel Bryce, Subbarao Kambhampati
|
