Call for Papers

Download: txt, pdf

Overview

The goal of this workshop is to explore ways of increasing the scope and scalability of automated planning by constructing and utilizing plans with rich representations and control structures. We plan to bring together researchers interested in new action and plan representations, as well as in synthesis, learning and analysis of plans. GenPlan11 follows the very successful GenPlan09 workshop that was held in conjunction with ICAPS.

An additional objective of this workshop is to foster a greater exchange of ideas between many areas of research that these problems are connected with. These include knowledge representation, abstraction, learning, inductive logic programming, hierarchical decision making paradigms such as partial policies and HTNs, program synthesis, automated service composition, as well as plan verification and model checking in AI, in addition to the various forms of automated planning.

Topics

Potential topics include but are not limited to:
  • generating plans with loops
  • generating parametrized plans
  • instantiating parametrized plans
  • evaluation of generalized plans
  • learning macro actions
  • reasoning and planning with complex actions
  • learning and planning with domain control knowledge
  • learning and planning with partial policies
  • automated service composition
  • plan verification
  • model checking and abstraction for planning
  • program synthesis
  • generating robust or partial schedules

Workshop Format

The workshop program will include technical presentations, discussion session(s), and a poster session, depending on the participation.

We will also have invited talks by three prominent researchers: Alessandro Cimatti, Hector Levesque and Stuart Russell.

Further details will be posted with the workshop program.

Paper Format and Submission

We invite technical papers (up to 8 pages), extended abstracts (up to 2 pages) and papers with clear formulations of open problems and potential approaches (up to 4 pages). We invite submissions including works in progress and mature work that may have been published at other research venues. Submission of previously published work may be in the form of a resubmission of a previous paper, or a position/survey paper that overviews and cites a body of work.

Paper submissions should be in PDF format and typeset in the AAAI style.

Paper submissions and queries should be emailed to Siddharth Srivastava [siddharth@cs.umass.edu] with "GenPlan11" in the subject.

Please note that if accepted, at least one of the authors will have to register and attend the workshop. AAAI-11 student volunteers will be given complimentary technical registrations.

Important Dates

Paper Submission Deadline
April 22, 2011
Author Notification
May 13, 2011
Final Version
May 27, 2011
Workshop Date
August 8, 2011

Program Committee

Eyal Amir, University of Illinois at Urbana-Champaign, USA
Jorge Baier, Catholic University of Chile, Chile
Chitta Baral, Arizona State University, USA
Adi Botea, NICTA and Australian National University, Australia
Amanda Coles, University of Strathclyde, UK
Christian Fritz, Palo Alto Research Center, USA
Hector Geffner, ICREA, Spain
Robert Goldman, SIFT, USA
Subbarao Kambhampati, Arizona State University, USA
Roni Khardon, Tufts University, USA
Gerhard Lakemeyer, Aachen University of Technology, Germany
Karen Myers, SRI International, USA
Bernhard Nebel, University of Freiburg, Germany
Sebastian Sardina, RMIT University, Australia
Manuela Veloso, Carnegie Mellon University, USA

Organizing Committee

Sheila McIlraith, University of Toronto, Canada
Siddharth Srivastava (Chair), University of Massachusetts Amherst, USA
Paolo Traverso, FBK, Center for Information Technology - IRST
Shlomo Zilberstein, University of Massachusetts Amherst, USA