Siddharth Srivastava
unread,Mar 2, 2011, 5:40:55 PM3/2/11Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to u...@engr.orst.edu, plan...@kr.org, searc...@googlegroups.com, icaps-co...@googlegroups.com, planni...@googlegroups.com, generalize...@googlegroups.com
[Apologies if you receive multiple copies of this mail]
August 7th or 8th, San Francisco, USA
Call for Papers
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 program 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?
Topics
Potential topics include but are not limited to:
- generating plans with loops
- generating parameterized plans
- instantiating parameterized 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
- 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 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/June1, 2011
|
Workshop Date
|
August 7/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, Italy
Shlomo Zilberstein, University of Massachusetts Amherst, USA