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
Submission
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.
|