Workshop on Knowledge Engineering
for Planning and Scheduling

Toronto, Canada, May 13, 2010


Welcome | Organizers | Call for papers | Programme

Programme

Proceedings with all papers are available for download as a PDF file.

May 13, 2010, Room Venice in Sutton Place Hotel

08:25 - 08:30 Introduction and welcome
Roman Barták and Tiago S. Vaquero
08:30 - 10:30

PLANNING PROBLEM FORMULATION
(chair: Tiago S. Vaquero)

An XML-based Forward-Compatible Framework for Planning System Extensions and Domain Problem Specification [PDF]
Eric Cesar E. Vidal, Jr., Alexander Nareyek
Commentary by Li Jin

Eliciting Planning Information from Subject Matter Experts [PDF]
Pete Bonasso, Mark Boddy
Commentary by Eric Cesar E. Vidal, Jr.

Ontology Oriented Exploration of an HTN Planning Domain through Hypotheses and Diagnostic Execution [PDF]
Li Jin, Keith S. Decker
Commentary by Juan Fdez-Olivares

Model Updating in Action [PDF]
Maria V. de Menezes, Leliane N. de Barros, Silvio L. Pereira
Commentary by Simone Fratini
10:30 - 11:00 coffee break
11:00 - 12:30 EXPLOITATION, VERIFICATION, AND ANALYSIS OF PLANS
(chair: Roman Barták)
Integrating plans into BPM technologies for Human-Centric Process Execution [PDF]
Juan Fdez-Olivares, Inmaculada Sánchez-Garzón, Arturo González-Ferrer, Luis Castillo
Commentary by Tiago Stegun Vaquero
How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent? [PDF]
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci
Commentary by Leliane N. de Barros
Improving Planning Performance Through Post-Design Analysis [PDF]
Tiago Stegun Vaquero, José Reinaldo Silva, J. Christopher Beck
Commentary by Pete Bonasso
12:30 - 14:00 lunch break
14:00 - 15:20 SYSTEM DEMONSTRATION
(chair: Simone Fratini)
Constraint and Flight Rule Management for Space Mission Operations [PDF]
Javier Barriero, John Chachere, Jeremy Frank, Christie Bertels, Alan Crocker (presented by Tristan Smith)
Using Knowledge Engineering for Planning Techniques to leverage the BPM life-cycle for dynamic and adaptive processes [PDF]
Juan Fdez-Olivares, Arturo González-Ferrer, Inmaculada Sánchez-Garzón, Luis Castillo
Analyzing Plans and Comparing Planners in itSIMPLE3.1 [PDF]
Tiago Stegun Vaquero, José Reinaldo Silva, J. Christopher Beck
Visual design of planning domains [PDF]
Jindřich Vodrážka, Lukáš Chrpa (presented by Roman Barták)
15:30 - 16:00 coffee break
16:00 - 17:00 DISCUSSION PANEL
Past, present, and future of ICKEPS

 

In conjunction with the International Conference on Automated Planning and Scheduling (ICAPS-2010)

Organizers

Roman Barták, Charles University, Czech Republic
contact email: bartak (AT) ktiml.mff.cuni.cz

Simone Fratini, ISTC-CNR, Italy
contact email: simone.fratini (AT) istc.cnr.it

Lee McCluskey, University of Huddersfield, UK
contact email: lee (AT) hud.ac.uk

Tiago Stegun Vaquero, University of Sao Paulo, Brazil
contact email: tiago.vaquero (AT) poli.usp.br

Programme Committee

Piergiorgio Bertoli
Fondazione Bruno Kessler, Italy
Mark Boddy
Adventium Labs, U.S.A.
Adi Botea
NICTA/ANU, Australia
Amedeo Cesta
ISTC-CNR, Italy
Stefan Edelkamp
Universität Dortmund, Germany
Susana Fernández
Universidad Carlos III de Madrid, Spain
Antonio Garrido
Universidad Politecnica de Valencia, Spain
Arturo González-Ferrer
University of Granada, Spain
Peter A. Jarvis
NASA, U.S.A.
Ugur Kuter
University of Maryland, USA
José Reinaldo Silva
University of Sao Paulo, Brazil
Dimitris Vrakas
Aristotle University of Thessaloniki, Greece

Dates:

Submission deadline: March 1st, 2010
Notification of acceptance:
March 24th, 2010
Camera-ready copy due: March
31st, 2010
Workshop (full day): May 13, 2010