[Apologies if you receive multiple copies of this mail]
http://rbr.cs.umass.edu/GenPlan11/ AAAI 2011 <http://www.aaai.org/Conferences/AAAI/aaai11.php> Workshop on Generalized Planning <http://rbr.cs.umass.edu/GenPlan11/> 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<http://www.cs.umass.edu/%7Esiddhart/genplan09/>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<http://rbr.cs.umass.edu/GenPlan11/> . Paper Format and Submission We invite technical papers (up to 8 pages), extended abstract*s* (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<http://www.aaai.org/Publications/Author/author.php>. Paper submissions and queries should be emailed to Siddharth Srivastava<siddha...@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/June1, 2011 Workshop Date August 7/8, 2011 Program Committee Eyal Amir <http://reason.cs.uiuc.edu/eyal/>, University of Illinois at Urbana-Champaign, USA Jorge Baier <http://www.cs.toronto.edu/%7Ejabaier/>, Catholic University of Chile, Chile Chitta Baral <http://www.public.asu.edu/%7Ecbaral/>, Arizona State University, USA Adi Botea <http://abotea.rsise.anu.edu.au/>, NICTA and Australian National University, Australia Amanda Coles <http://personal.cis.strath.ac.uk/%7Eamanda/>, University of Strathclyde, UK Christian Fritz <http://www2.parc.com/isl/members/cfritz>, Palo Alto Research Center, USA Hector Geffner <http://www.tecn.upf.es/%7Ehgeffner/>, ICREA, Spain Robert Goldman <http://rpgoldman.real-time.com/>, SIFT, USA Subbarao Kambhampati <http://rakaposhi.eas.asu.edu/>, Arizona State University, USA Roni Khardon <http://www.cs.tufts.edu/%7Eroni/>, Tufts University, USA Gerhard Lakemeyer <http://dbis.rwth-aachen.de/%7Egerhard/>, Aachen University of Technology, Germany Karen Myers <http://www.ai.sri.com/%7Emyers/>, SRI International, USA Bernhard Nebel <http://www.informatik.uni-freiburg.de/%7Enebel/>, University of Freiburg, Germany Sebastian Sardina <http://goanna.cs.rmit.edu.au/%7Essardina/home.shtml>, RMIT University, Australia Manuela Veloso <http://www.cs.cmu.edu/%7Emmv/>, Carnegie Mellon University, USA Organizing CommitteeSheila McIlraith <http://www.cs.toronto.edu/%7Esheila/>, University of Toronto, Canada Siddharth Srivastava <http://www.cs.umass.edu/%7Esiddhart/> (Chair), University of Massachusetts Amherst, USA Paolo Traverso <http://cit.fbk.eu/traverso/>, FBK, Center for Information Technology - IRST, Italy Shlomo Zilberstein <http://rbr.cs.umass.edu/%7Eshlomo/>, University of Massachusetts Amherst, USA
_______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
