KEPS. Knowledge Engineering for Planning and Scheduling

Despite the progress in automated planning and scheduling systems, these systems still need to be fed by careful problem description and they need to be fine tuned for particular domains or problems. Knowledge engineering for AI planning and scheduling deals with the acquisition, design, validation and maintenance of domain models, and the selection and optimization of appropriate machinery to work on them. These processes impact directly on the success of real planning and scheduling applications. The importance of knowledge engineering techniques is clearly demonstrated by a performance gap between domain-independent planners and planners exploiting domain dependent knowledge.

The KEPS workshop attracts audience interested in bridging the above-described gap between real-life problems and planning and scheduling algorithms. Its topics include domain and problem formulations, languages, knowledge acquisition (e.g. control rules), visualization, validation and analysis of plans/domains, problem (re)formulation etc.

The workshop will consist of presentations of technical papers that will be immediately commented by other researchers, it will include a demo session where existing systems will be presented, and it will be concluded by an open discussion on the next ICKEPS competition.

Proceedings

The proceedings are available as pdf.

Schedule

This schedule as a PDF file.

The workshop will be held on June 12, 2011 in hall 101–00–036 on the computer science campus.

Posters

• Shigeru Fujimura
  Cooperated Integration Framework of Production Planning and Scheduling based on Order Life-cycle Management
• Marek Grzes, Jesse Hoey, Shehroz Khan, Alex Mihailidis, Stephen Czarnuch, Dan Jackson, Andrew Monk
  Relational Approach to Knowledge Engineering for POMDP-based Assistance Systems with Encoding of a Psychological Model
• Michael Jonas
  JPDL: A Fresh Approach to Planning Domain Modelling
• Dominik Off, Jianwei Zhang
  Open-Ended Domain Model for Continual Forward Search HTN Planning
• Aldo Porco, Alejandro Machado, Blai Bonet
  Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS
• Pascal Schmidt and Florent Teichteil-Königsbuch, Patrick Fabiani
  Taking Advantage of Domain Knowledge in Optimal Hierarchical Deepening Search Planning
• Tiago Stegun Vaquero, José Reinaldo Silva, J. Christopher Beck
  A Conceptual Framework for Post-Design Analysis in AI Planning Applications

Demos

• Alfonso E. Gerevini, Alessandro Saetti
  An Interactive Tool for Plan Visualization, Inspection and Generation
• Radoslav Glinský, Roman Barták
  VisPlan – Interactive Visualisation and Verification of Plans
• Francisco Palao, Juan Fdez-Olivares, Luis Castillo, Oscar García
  An Extended HTN Knowledge Representation Based on a Graphical Notation

Call for Papers

We seek original papers ranging from experience reports to the description of new technology in the following areas:

• formulation of domains and problem descriptions
• methods and tools for the acquisition of domain knowledge
• pre- and post-processing techniques for planners and schedulers
• acquisition and refinement of control knowledge
• formal languages for domain description
• re-use of domain knowledge
• translators from other application-area-specific languages to solver-ready domain models (such as PDDL)
• formats for specification of heuristics, parameters and control knowledge for solvers
• import of domain knowledge from general ontologies
• ontologies for describing the capabilities of planners and schedulers
• automated reformulation of problems
• automated knowledge extraction processes
• domain model, problem and plan validation
• visualization methods for domain models, search spaces and plans
• mapping domain properties and planning techniques
• plan representation and reuse
• knowledge engineering aspects of plan analysis

Submission Procedure

Two types of papers can be submitted. Full technical papers with the length up to 8 pages are standard research papers. Short application papers with the length up to 2 pages describe a particular system or application. The papers will be presented at different sessions; the technical papers will have a standard presentation format with commentary, while the application papers will be presented in a dedicated session as a system demonstration (similar to ICKEPS system demo or ICAPS application showcase). All papers should conform to the AAAI style template. The papers must be submitted in a PDF format via EasyChair system. Submissions will be reviewed by at least two referees.

Important Dates

• Submission deadline: Friday, March 25, 2011
• Notification: Friday, April 15, 2011
• Final date for camera-ready copy: Saturday, April 30, 2011
• Workshop date: June 12th, 2011

Organizers

• Roman Barták (Charles University, Czech Republic)
• Simone Fratini (ISTC-CNR, Italy)
• Lee McCluskey (University of Huddersfield, United Kingdom)
• Tiago Stegun Vaquero (University of São Paulo, Brazil)

Programme committee

• Roman Barták, Charles University, Czech Republic (co-chair)
• Mark Boddy, Adventium Labs, USA
• Adi Botea, NICTA/ANU, Australia
• Luis Castillo, IActive Intelligent Solutions, Spain
• Amedeo Cesta, ISTC-CNR, Italy
• Stefan Edelkamp, Universität Dortmund, Germany
• Susana Fernández, Universidad Carlos III de Madrid, Spain
• Jeremy Frank, NASA Ames, USA
• Simone Fratini, ISTC-CNR, Italy (co-chair)
• Antonio Garrido, Universidad Politecnica de Valencia, Spain
• Arturo González-Ferrer, University of Granada, Spain
• Rania Hatzi, Harokopio University of Athens, Greece
• Peter A. Jarvis, NASA, USA
• Karen Myers, SRI International, USA
• John Levine, University of Strathclyde, UK
• Lee McCluskey, University of Huddersfield, United Kingdom (co-chair)
• José Reinaldo Silva, University of São Paulo, Brazil
• David E. Smith, NASA, USA
• Tiago Stegun Vaquero, University of São Paulo, Brazil (co-chair)
• Dimitris Vrakas, Aristotle University of Thessaloniki, Greece

Past related events

• KEPS 2010
• ICKEPS 2009
• KEPS 2008
• ICKEPS 2007
• ICKEPS 2005