Registrations will be done in the Conference Center main lobby (Level 0), registration desks will be open during the following hours:
|
|
||||
| Room | Argos | Diamant | Ariane 2 | Servanty |
|---|---|---|---|---|
|
|
Planning
and Scheduling using Multiple Criteria WS-Tu1: Session 1 Invited Talk |
Planning via Model Checking WS-Tu2: Session 1 Invited Talk |
Is There Life Beyond Operator Sequencing? -- Exploring Real
World Planning WS- Tu3: Session 1 9:00- 9:05 Opening Remarks (Manuela Veloso and Qiang Yang) 9:05-10:00 Keynote Speech:Ê
Multiagent planning in real-time robotic domains. |
Greedy
On-line Planning TUT-Tu1: Session 1 |
|
|
|
|||
|
|
WS-Tu1: Session 2 10:30-10:55 10:55-11:20 11:20-11:45 11:45-12:10 12:10-12:35 |
WS-Tu2: Session 2 Probabilistic Plan Verification Through
Acceptance Sampling Solving Planning
Problems Using Real-Time Model-Checking (Translating PDDL3 into
Timed Automata) Partial State Progression:
An Extension to the Bacchus-Kabanza Algorithm,with Applications
to Prediction Preemptive Job-Shop
Scheduling using Stopwatch Automata |
WS- Tu3: Session 2 Session I (Web and Database
Services) (35 min) Invited Talk (15 min) Greg Barish and
Craig Knoblock (15 min) Laurie Hiyakumoto
and Manuela Veloso (15 min) Biplav Srivastava Session II (Business Applications)
(15 min) Qiang Yang (15 min) Wei Zhang (15 min) L. Castillo, J.
Fdez-Olivares and A. GonzàlezJuan Fdez-Olivares |
Greedy On-line Planning TUT-Tu1: Session 2 |
|
|
|
|||
|
|
WS-Tu1: Session 3 Invited Talk 15:00-15:25 |
WS-Tu2:
Session 3 Plan Validation for Extended Goals under
Partial Observability (preliminary report) SetA*: An Efficient
BDD-Based Heuristic Search Algorithm Symbolic Exploration
in Two-Player Games: Preliminary Results |
WS- Tu3: Session 3 Session III (Robotic Planning) (35 mins) Invited Talk (15 min) Michael Beetz (40 min) Panel I |
Constraint-Based Scheduling in an A.I. Planning and Scheduling
Perspective. TUT-Tu2: Session 1 |
|
|
|
|||
|
|
WS-Tu1: Session 4 16:00-16:25 16:25-16:50 16:50-17:15 17:15-18:00 Closing Remarks |
WS-Tu2: Session 4 Invited Talk Solving Power Supply Restoration Problems
with Planning via Symbolic Model-Checking Wrap up |
WS- Tu3: Session 4 Session IV (Novel Formulations) (15 min) Elly Zoe Winner
and Manuela Veloso (15 min) Keith Golden and
Jeremy Frank (15 min) Wout van Wezel
and René Jorna (15 min) Sheila McIlraith
and Tran Cao Son (25 min) Invited Talk (35 min) Panel II 18:00-18:05: Closing Remarks |
Constraint-Based Scheduling in an A.I. Planning and Scheduling
Perspective. TUT-Tu2: Session 2 |
|
|
||||
| Room | Diamant | Ariane 2 | Argos | Servanty |
|---|---|---|---|---|
|
|
Knowledge
Engineering Tools and Techniques for AI Planning WS-We1: Session 1 9.00 Knowledge Engineering:
Issues for the AI Planning Community 9.30 Supporting the Domain
Expert in Planning Domain Construction |
Planning
for Temporal Domains WS-We2: Session 1 8.55am Introduction 9.00 Temporal Planning through
Mixed Integer Programming 9.30 Fast Temporal Planning
in a Graphplan Framework |
On-line
Planning and Scheduling WS-We3: Session 1 Invited presentation |
Piergiorgio Bertoli, Marco Pistore, Marco Roveri TUT-We1: Session 1 |
|
|
|
|||
|
|
WS-We1: Session 2 10.30 Generic Types as Design
Patterns for Planning Domain Specifications 11.00 Integrated Modelling:
When time and resources play a role 11.30 Extending TIM Domain
Analysis to handle ADL Constructs |
WS-We2: Session 2 10.30 Discussion Topic 1: 11.00 An Incremental Temporal
Partial Order Planner 11.30 Handling Durative Actions
in a Continuous Planning Framework 12.00 Improving the Temporal
Flexibility of Position Constrained Temporal Plans |
WS-We3: Session 2 Long presentations Anticipatory Scheduling for Dynamic Job Shop Problems Dynamic task sequencing in temporal problems wih uncertainty
Predictable Multiprocessor Scheduling in Manufacturing
Systems underlying Hard Real-Time Constraints Programming Hierarchical Task Networks in the Situation
Calculus |
Piergiorgio Bertoli, Marco Pistore, Marco Roveri TUT-We1: Session 2 |
|
|
|
|||
|
|
WS-We1: Session 3 14.00 Reuse of Control Knowledge
in Planning Domains 14.30 A First Approach to Tackling
Planning Problems with Neural Networks 15.00 Design of a Testbed for
Planning Systems |
WS-We2: Session 3 2.00 Mixed Propositional and
Numeric Planning in the Model Checking Integrated Planning 2.30 A Temporal Planning System
for Level 3 Durative Actions of PDDL+ 3.00 Discussion Topic 2:
REPRESENTATIONS OF TIME |
WS-We3: Session 3 Short presentations Dynamic Scheduling and Plan Execution for Operations
Automation in Multi-Satellite Control Centers Rescheduling strategies for managing manufacturing
systemscomplexity A constraint optimisation framework for real-time
applications Bringing out IxTeT in the dynamic world ? Explanations and repair for solving dynamic scheduling
problems Arc-Consistency for Interval-based Temporal Reasoning Long presentation |
Piergiorgio Bertoli, Marco Pistore, Marco Roveri TUT-We1: Session 3 |
|
|
|
|||
| 16:00-18:00 |
WS-We1: Session 4 16.00 Profitable Directions
for AI Planning Research 16.30 Panel-led Discussion on Research Issues in Knowledge Engineering for AI Planning 17.45 CLOSE |
WS-We2: Session 4 4.00 Discussion Topic 3: 4.30 Timeline: An HTN Planner
that can Reason about Time 5.00 One Step on the Left,
One Step on the Right, and Back to the Middle: Exploring Temporal Domains
in a POP Fashion 5.30 Discussion Topic 4:
TIME AND UNCERTAINTY |
WS-We3: Session 4 Long presentations IDEA: Planning at the Core of Autonomous
Reactive Agents Execution, monitoring and replanning
in dynamic environments CLEaR: A Framework for Balancing
Deliberative and ReactiveControl 17.30-18.00 Final Discussion |
Piergiorgio Bertoli, Marco Pistore, Marco Roveri TUT-We1: Session 4 |
| 18:00 | Departure for the Toulouse City hall (20 min. walk) | |||
|
|
Welcome
Aperitif at the Toulouse
City hall (Salle des Illustres) Mairie de Toulouse, Place du Capitole, Toulouse |
|||
| Comments on the WEB site to : Félix Ingrand |
Last modified: |