AAAI-10 Workshop on Abstraction, Reformulation, and Approximation

July 12, 2010

Atlanta, GA

Past Symposia
To be held in conjunction with AAAI-10, the 24th AAAI Conference on Artificial Intelligence

*NOTE*: workshop location: Tower Room 1205 (8th Floor), The Westin Peachtree Plaza Hotel, Atlanta [see AAAI-10 info page for conference venue]

The 2010 Workshop on Abstraction, Reformulation, and Approximation (WARA-2010) will be held in conjunction with AAAI-10 with the goal of providing a forum for intensive interaction among researchers in all areas of Artificial Intelligence and Computer Science with an interest in the different aspects of abstraction, reformulation, and approximation techniques. The aim and scope of this workshop are similar to an independent symposium called SARA. The diverse backgrounds of participants of previous SARA symposia has led to a rich and lively exchange of ideas, allowed the comparison of goals, techniques, and paradigms, and helped identify important research issues and engineering hurdles. This workshop will continue to do the same.

It has been recognized since the inception of AI that abstractions, problem reformulations, and approximations (ARA) are central to human common-sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. ARA techniques have been used in a variety of problem-solving settings and application domains, primarily to overcome computational intractability by decreasing the combinatorial costs associated with searching large spaces. In addition, ARA techniques are also useful for knowledge acquisition and explanation generation.

Topics of interest include all aspects of abstraction, reformulation and approximation, including (but not limited to) the following:

  • New techniques for automatically constructing and selecting appropriate ARA methods;

  • Frameworks that unify and classify ARA techniques;

  • Empirical and theoretical studies of the costs and benefits of ARA;

  • Applications of ARA to search, constraint satisfaction, deterministic and probabilistic planning, theorem proving, logic programming, game playing, parallel and distributed search, distributed data and knowledge bases, internet search and navigation, knowledge compilation, knowledge acquisition, knowledge reformulation, simulation, design, diagnosis and control of physical systems (including mobile robots), automatic programming, analogical reasoning, case-based reasoning, reasoning under uncertainty, reinforcement learning, machine learning, and speed-up learning;

  • Fielded applications demonstrating the benefits of ARA to a variety of real-world domains.

Important Dates

Extended Submission deadline: March 29 April 13, 2010 (Tuesday), 11:59 Pacific Time

Notification of acceptance: April 15 May 4, 2010 (Tuesday)

Camera-ready copy due: May 11, 2010 (Tuesday)

     Note: due to the deadline extension, the authors will have
     only one week to prepare the camera-ready version.

Workshop: July 12, 2010


The workshop will consist of an invited talk, oral presentations, a poster session, and discussion/brainstorming sessions. Submissions are sought both for new work in the area of ARA as well as for work recently published or soon to be published in another conference or journal; for submissions of the latter kind, the authors must clearly state the venue of publication.

All accepted papers will appear in the form of a AAAI Technical Report which are citable archival proceedings. Like all technical reports, papers published this way will be archived and become citable, but will not constitute formal publication. Please visit http://www.aaai.org/Press/Reports/reports.php for more information on AAAI Technical Reports.

Submissions must be in AAAI format and be 2-6 pages in length. Please see the AAAI-10 Workshops website for detailed formatting guidelines and templates, and submit your paper as PDF via email to sabhar@cs.cornell.edu.

Attendance and Registration

At least one author of each accepted paper must attend the workshop. The workshop will be open to everyone to attend, irrespective of whether they have an accepted paper. All attendies, however, must register. Please refer to the AAAI-10 Workshops website for further information about the registation procedure.

Organizing Committee

Gregory Provan (co-chair, g.provan@cs.ucc.ie, University College Cork, Ireland)
Ashish Sabharwal (co-chair, sabhar@cs.cornell.edu, Cornell University, USA)

Chris Beck (University of Toronto, Canada)
Vadim Bulitko (University of Alberta, Canada)
Berthe Choueiry (University of Nebraska-Lincoln, USA)
Fausto Giunchiglia (University of Trento, Italy)
Mike Genesereth (Stanford University, USA)
Robert Holte (University of Alberta, Canada)
Ian Miguel (University of St Andrews, UK)
Michael Lowry (NASA, USA)
Wheeler Ruml (University of New Hampshire, USA)
Lorenza Saitta (Universita del Piemonte Orientale, Italy)
Sven Koenig (University of Southern California, USA)
Toby Walsh (University of New South Wales, Australia)
Jean-Daniel Zucker (Universite Paris 13 / UR 079 Geodes, France)

Further Information

For additional information, please refer to the AAAI-10 Workshops website or send an email to the organizers.