PROGRAMME

THIRD INTERNATIONAL CONFERENCE ON AI PLANNING SYSTEMS

The Holiday Inn - Crowne Plaza,
Edinburgh, Scotland, UK
Wednesday May 29th - Friday 31st, 1996

The Conference will take place Wednesday, May 29th - Friday, May 31st, 1996, at The Holiday Inn -- Crowne Plaza, (Formerly the Scandic Crown Hotel) Edinburgh, Scotland.

==============================================================================

TUESDAY, MAY 28th, 1996

19:00 - 21:00: REGISTRATION: (Holiday Inn -- Crowne Plaza Hotel)

==============================================================================

WEDNESDAY, MAY 29TH, 1996

8:00 - 9:00: REGISTRATION: (Holiday Inn -- Crowne Plaza Hotel)

9.00 - 9:05: WELCOME: Brian Drabble, University of Edinburgh.

9:05 - 9:15: OPENING SPEECH: Earl Sacerdoti, Copernicus Group.

9:15 - 10:00: INVITED SPEAKER:

Alan Bundy, University of Edinburgh. "Proof Planning"

10:00 - 10:50 TECHNICAL SESSION 1: Refinement Planning ,Session Chair: Martha Pollack

"Deduction Based Refinement Planning", Werner Stephen and Susanne Biundo.

"Using Loops in Decision-Theoretic Refinement Planners", Richard Goodwin.

10:50 - 11:10: BREAK

11:10 - 12:25: TECHNICAL SESSION 2: Uncertainty ,Session Chair: Steve Hanks

"Controlling Deliberation with the Success Probability in a Dynamic Environment", Seiji Yamada.

"Decompositions of Markov Chains for Reasoning about External Change in Planners", Jim Blythe.

"Modelling Probabilistic Actions for Practical Decision Theoretic Planning", AnHai Doan.

12:30 - 14:00: LUNCH

14:00 - 17:00: "Technological Achievements of the DARPA/Rome Laboratory Planning Initiative" ,Session Chair: Don Roberts.

"The DARPA/Rome Laboratory Planning Initiative:" Nort Fowler, Rome Laboratory.

Planning and Data Bases...
"Building a Planner for Information Gathering: A Report from the Trenches", Craig Knoblock.

Scheduling...
"ITAS: A Portable Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications", Mark Burstein and Douglas Smith.

Planning Ontologies...
"Representing Plans as a Set of Constraints - the Model", Austin Tate.

15.30 - 15.50 BREAK:

Simulation...
"On-line Planning Simulation", Scott Anderson and Paul Cohen.

Mixed Initiative and User Interfaces...
"Towards a Mixed Initiative Planning Assistant", George Ferguson, James Allen and Brad Miler.

"The Initiative Today and Plans for the Future", Tom Garvey, DARPA.

17.00 Close of Day

==============================================================================

THURSDAY, MAY 30TH, 1996

9:00 - 9:45 INVITED SPEAKER:

Dan Weld, University of Washington. "Planning-Based Control of Software Agents"

9:45 - 10:35 TECHNICAL SESSION 5: Analysis ,Session Chair: Bill Swartout

"Planning Experiments: Resolving Interactions between Two Planning Spaces", Yolanda Gil.

"A Candidate Set based Analysis of Subgoal Interactions in Conjunctive Goal Planning", Subbarao Kambhampati.

10:35 - 10:55: BREAK

10:55 - 12:35: TECHNICAL SESSION 6: Search Control ,Matt Ginsberg

"A Heuristic Estimator for Means Ends Analysis in Planning", Drew McDermott.

"Least Commitment Action Selection", Marc Friedman and Daniel S. Weld.

"Flaw Selection Strategies for Value Directed Planning", Mike Williamson and Steve Hanks.

"Suspending Recursion in Causal Link Planning", David E. Smith and Mark A. Peot

12:35 - 2:00: LUNCH

2:00 - 3:00: INVITED PANEL:

Chairman: Jim Hendler Title: Get Real! Should we tweak with formalisms any more?

3:00 - 3:50 TECHNICAL SESSION 7: Scheduling I, Session Chair: Howard Beck

"A Cooperative Repair Method for a Distributed Scheduling System", Daniel E. Neiman and Victor R. Lesser.

"A Constraint Satisfaction Approach to Makespan Scheduling", Cheng-Chung Cheng and Stephen F. Smith.

3:50 - 4:10: BREAK

4:10 - 5:25: TECHNICAL SESSION 8: Scheduling II ,Session Chair: Steve Smith

"A Discipline for Reactive Scheduling", G. Kelleher and J.E. Spragg.

"Comparing Heuristic, Evolutionary and Local Search Approaches to Scheduling", Soraya Rana, Adele E. Howe et al.

"Algorithms for Solving Distributed Constraint Satisfaction Problems (DCSPs)", Gadi Solotorevsky and Ehud Gudes.

17.00 Close of Day

19.30 - 22.00: CONFERENCE DINNER, Great Hall, Holiday Inn -- Crowne Plaza Hotel, Edinburgh.

==============================================================================

FRIDAY, MAY 31ST, 1996

9:00 - 9:45: INVITED SPEAKER:

Brian Williams, NASA Ames "Model-based Autonomous Systems in the New Millenium"

9:45 - 10.35: TECHNICAL SESSION 9: Representation - Planning ,Session Chair: Sam Steel

"Expressive Planning and Explicit Knowledge" Robert P. Goldman and Mark S. Boddy

"Planning for Manufacturing Workpieces by Storing, Indexing and Replaying Planning Decisions", Hector Munoz-Avila and Frank Weberskirch.

10:35 - 10:55: BREAK

10:55 - 12:35: TECHNICAL SESSION 10: Representation - Domain ,Session Chair: Drew McDermott

"Modelling Planning Tasks", Leliane Barros, Andre Valente and Richard Benjamins.

"Computing Parameter Domains as an Aid to Planning", Alfonso Gerevini and Lenhart Schubert.

"Intelligent Tools for Planning Knowledge Base Development and Verification", Steve Chien.

"Planning While Learning Operators", Xuemei Wang.

12:30 - 2:00: LUNCH

2:00 - 3:00: INVITED PANEL:

Chairman: Nigel Shadbolt Title: Knowledge Acquisition for Planning

3:00 - 3:50: TECHNICAL SESSION 11: Execution I ,Session Chair: Reid Simmons

"Local Planning of Ongoing Activities", Micheal Beetz and Drew McDermott.

"A Procedural Knowledge Approach to Task-level Control", Karen L. Myers.

3:50 - 4:10: BREAK

4:10 - 5:25: TECHNICAL SESSION 12: Execution II ,Session Chair: Louise Pryor

"A Planner for Exploratory Data Analysis", Robert St.Amant and Paul R. Cohen.

"Modularity Issues in Reactive Planning", R. James Firby.

"Segmenting Reactions to Improve the Behaviour of a Planning/Reacting Agent", Micheal Wolverton and Richard Washington.

5:25 - 5:30: CLOSING ADDRESS