AAAI in San Francisco

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 in 2009.

An additional objective of this workshop is to foster a greater exchange of ideas between the many distinct yet related subfields of AI that these problems are connected with, including 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 model checking in AI, in addition to the various forms of automated planning.

Some of the fundamental questions motivating this workshop are:
  • How can we effectively find, represent and utilize high-level knowledge about planning domains?
  • What separates planning problems from software synthesis and composition problems?
  • What are the computational limits to the feasibility of these problems?
  • How can advances in model checking and abstraction techniques be utilized towards solving these problems?

Organizers

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
    line   

Announcements

6/28: List of accepted papers uploaded.

5/13: Camera-ready versions due May 25th 27th.

5/13: Author Notifications sent.

4/23: Submissions received and acknowledgements sent.

1/21: Invited speakers confirmed:
Alessandro Cimatti, Hector Levesque, and Stuart Russell

1/21: Call for papers


AAAI 2011     25th Conference on
    Artificial Intelligence