Printable Program
A PDF file including programs of CP, ICAPS and KR is available.
Program
Sunday September 14 | ||||||
8:30-10:00 | Doctoral Consortium Grand Lodge, start with coffee at 8:15 in Banquet Hall |
WS1: Constraint Satisfaction for Planning & Scheduling (Ionic) WS2: Knowledge Engineering for Planning & Scheduling (Tuscan) WS4: Multiagent Planning (Lodge 2) WS6: Oversubscribed Planning & Scheduling (Lodge 3) |
||||
coffee break | ||||||
10:30-12:00 | continued | |||||
lunch break | ||||||
13:30-15:00 | continued | |||||
coffee break | ||||||
15:30-17:00 | continued | |||||
Monday September 15 | ||||||
8:30-10:00 |
TUT1: Abstraction Heuristics for Planning (Grand Lodge) TUT3: Constraint Processing for Planning and Scheduling (Ionic) |
WS3: Scheduling & Planning Applications (Lodge 2) WS5: Reality Check for Planning & Scheduling under Uncertainty (Lodge 3) |
||||
coffee break | ||||||
10:20-12:20 | continued | |||||
lunch break | ||||||
13:10-15:00 |
TUT2: First-Order Planning Techniques (Grand Lodge) TUT4: External-Memory Graph Search (Ionic) |
continued | ||||
coffee break | ||||||
15:20-17:00 | continued | continued | ||||
17:10-18:25 | competitions: learning, deterministic, probabilistic (Ionic) | |||||
18:30-20:30 | CP-ICAPS-KR Opening Reception (Banquet Hall) | |||||
Tuesday September 16 | ||||||
8:30-10:00 | APPLICATIONS I Room: Ionic Chair: Sylvie Thiébaux Planning for Modular Printers: Beyond Productivity, Do, Ruml, Zhou Scheduling Meetings at Trade Events with Complex Preferences, Ernst, Singh, Weiskircher Decentralized Online Scheduling of Combination-Appointments in Hospitals, Vermeulen, Bohte, Elkhuizen, Bakker, La Poutra A Probabilistic Planner for the Combat Power Management Problem, Benaskeur, Kabanza, Beaudry, Beaudoin |
UNCERTAINTY IN PLANNING AND SCHEDULING Room: Lodge 2 Chair: Sven Koenig Using Classical Planners to Solve Nondeterministic Planning Problems, Kuter, Nau, Reisner, Goldman Stochastic Enforced Hill-Climbing, Wu, Kalyanam, Givan Rank-Dependent Probability Weighting in Sequential Decision Problems under Uncertainty, Jeantet, Spanjaard Generating Robust Schedules Subject to Resource and Duration Uncertainties, Fu, Lau, Xiao |
||||
coffee break | ||||||
10:30-12:00 | MULTIAGENT PLANNING AND SCHEDULING Room: Grand Lodge Chair: Brian Williams Criticality Metrics for Distributed Plan and Schedule Management, Maheswaran, Szekely Effective Information Value Calculation for Interruption Management in Multi-Agent Scheduling, Sarne, Grosz, Owotoki Realizing Multiple Autonomous Agents through Scheduling of Shared Devices, Sardina, De Giacomo From One to Many: Planning for Loosely Coupled Multi-Agent Systems, Brafman, Domshlak (Distinguished Paper) |
PLANNING USING POMDPS Room: Lodge 2 Chair: Eric Hansen Efficient ADD Operations for Point-Based Algorithms, Shani, Poupart, Brafman, Shimony Bounded-Parameter Partially Observable Markov Decision Processes, Ni, Liu Exact Dynamic Programming for Decentralized POMDPs with Lossless Policy Compression, Boularias, Chaib-draa Multiagent Planning Under Uncertainty with Stochastic Communication Delays, Spaan, Oliehoek, Vlassis |
||||
lunch break | ||||||
13:30-14:30 |
ICAPS Invited talk: Jeffrey Rosenschein Room: Grand Lodge |
|||||
14:30-15:30 |
ICAPS Community Meeting, including awards and presentation of ICAPS'09 Room: Grand Lodge Chair: Craig Knoblock |
|||||
15:30-17:00 |
ICAPS-CP poster session including ICAPS posters and ICAPS-DC posters
and system demonstrations Room: Banquet Hall |
|||||
Wednesday September 17 | ||||||
9:00-10:00 | ICAPS-CP Invited talk: John Hooker Room: Grand Lodge |
|||||
coffee break | ||||||
10:30-12:00 | TEMPORAL REASONING Room: Grand Lodge Chair: Neil Yorke-Smith P3C: A New Algorithm for the Simple Temporal Problem, Planken, de Weerdt, van der Krogt Linear Relaxation Techniques for Task Management in Uncertain Settings, Varakantham, Smith Fast Dynamic Scheduling of Disjunctive Temporal Constraint Networks through Incremental Compilation, Shah, Williams (Best Student Paper) CircuitTSAT: A Solver for Large Instances of the Disjunctive Temporal Problem, Nelson, Kumar |
PLANNING HEURISTICS Room: Lodge 2 Chair: Patrik Haslum Additive-Disjunctive Heuristics for Optimal Planning, Coles, Fox, Long, Smith Optimal Additive Composition of Abstraction-based Admissible Heuristics, Katz, Domshlak Unifying the Causal Graph and Additive Heuristics, Helmert, Geffner A Hybrid Relaxed Planning Graph-LP Heuristic for Numeric Planning Domains, Coles, Fox, Long, Smith |
||||
lunch break | ||||||
13:30-15:00 | TRACTABLE PLANNING Room: Tuscan Chair: Carmel Domshlak Causal Graphs and Structurally Restricted Planning, Chen, Giménez In Search of the Tractability Boundary of Planning Problems, Giménez, Jonsson A New Approach to Tractable Planning, Haslum |
CONSTRAINT PROGRAMMING AND SCHEDULING Room: Grand Lodge Chair: Chris Beck Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production, Poder, Beldiceanu Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems, Pralet, Verfaillie A New Hybrid Genetic Algorithm for the Job Shop Scheduling Problem with Setup Times, González, Vela, Varela A New Local Search for the Job Shop Problem with Uncertain Durations, González-Rodríguez, Vela, Puente, Varela |
MACHINE LEARNING FOR PLANNING Room: Lodge 2 Chair: Richard W. Dearden Learning Heuristic Functions through Approximate Linear Programming, Petrik, Zilberstein Learning Relational Decision Trees for Guiding Heuristic Planning, de la Rosa, Jiménez, Borrajo An Online Learning Method for Improving Over-Subscription Planning, Yoon, Benton, Kambhampati What Makes Planners Predictable?, Roberts, Howe, Wilson, desJardins |
|||
14:37-15:00 | ICAPS Dissertation Award talk: Matt Streeter, Using Online Algorithms to Solve NP-Hard Problems More Efficiently in Practice | |||||
coffee break | ||||||
15:30-17:00 | Festivus Room: Grand Lodge Chair: Rao Kambhampati |
|||||
17:45- | Conference Dinner on MV Sydney 2000 with boarding at Jetty 8 & 9 of King Street Wharf. See map. | |||||
Thursday September 18 | ||||||
9:00-10:00 | ICAPS-KR invited talk: Ronen Brafman Room: Grand Lodge |
|||||
coffee break | ||||||
10:30-12:00 | ICAPS-KR (KR papers) Room: Grand Lodge Chair: Gerhard Lakemeyer On the Complexity of Planning Operator Subsumption, Eyerich, Brenner, Nebel Deductive Planning with Inductive Loops, Magnusson, Doherty Planning Graphs and Propositional Clause-Learning, Rintanen Proving Goal Achievability, Lin |
APPLICATIONS II Room: Corinthian Chair: David E. Smith HiPPo: Hierarchical POMDPs for Planning Information Processing and Sensing Actions on a Robot, Sridharan, Wyatt, Dearden (Distinguished Paper) Planning 3D Task Demonstrations of a Teleoperated Space Robot Arm, Kabanza, Belghith, Bellefeuille, Auder, Hartman Generative Planning for Hybrid Systems Based on Flow Tubes, Li, Williams Multi-Objective Evolutionary Algorithms for Scheduling the James Webb Space Telescope, Giuliano, Johnston |
||||
lunch break | ||||||
13:30-15:00 | ICAPS-KR (ICAPS papers) Room: Grand Lodge Chair: Fahiem Bacchus A Temporal Logic-Based Planning and Execution Monitoring System, Kvarnström, Heintz, Doherty The Complexity of Optimal Planning and a More Efficient Method for Finding Solutions, Ray, Ginsberg A Compact and Efficient SAT Encoding for Planning, Robinson, Gretton, Pham, Sattar Stochastic Planning with First Order Decision Diagrams, Joshi, Khardon |
BEYOND A*: GRAPH SEARCH FOR PLANNING Room: Corinthian Chair: Rong Zhou Faster than Weighted A*: An Optimistic Approach to Bounded Suboptimal Search, Thayer, Ruml Fast Planning for Dynamic Preferences, Ziebart, Dey, Bagnell Angelic Hierarchical Planning: Optimal and Online Algorithms, Marthi, Russell, Wolfe Fast and Memory-Efficient Multi-Agent Pathfinding, Wang, Botea |
||||
coffee break | ||||||
15:30-17:00 | ICAPS-KR (KR papers) Room: Grand Lodge Chair: Michael Thielscher A Logic for Non-Terminating Golog Programs, Classen, Lakemeyer ConGolog, Sin Trans: Compiling ConGolog into Basic Actions Theories for Planning and Beyond, Fritz, Baier, McIlraith On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle, Röger, Helmert, Nebel Behavior Composition in the Presence of Failure, Sardina, Patrizi, De Giacomo |
SEARCH, PLANNING AND PLAN RECOGNITION Room: Corinthian Chair: Wheeler Ruml A New Probabilistic Plan Recognition Algorithm Based on String Rewriting, Geib, Maraist, Goldman Useless Actions Are Useful, Wehrle, Kupferschmid, Podelski Structural Patterns Heuristics via Fork Decomposition, Katz, Domshlak The Compression Power of Symbolic Pattern Databases, Ball, Holte |
Room Locations
Ground Floor: | Doric, Corinthian, Ionic, Tuscan |
First Floor: | Grand Lodge, Banquet Hall |
Third Floor: | Lodge 2, Lodge 3, Lodge 4, Ante Room 2, Carrington |
Fifth Floor: | Carruthers, Remington |