Final Call For Papers
[ Postscript | pdf | MSWord ]
From the inception of Artificial Intelligence (AI) research it has
been recognized that abstractions, problem reformulations and
approximations are central to human common-sense reasoning and problem
solving and to the ability of systems to reason effectively in complex
domains. Abstractions, reformulations and approximations
(AR&A) have been used in a variety of problem-solving settings
including automatic programming, constraint satisfaction, design,
diagnosis, machine learning, planning, qualitative reasoning,
scheduling and theorem proving. The primary use of AR &A in
such settings has been to overcome computational intractability by
decreasing the combinatorial costs associated with searching large
spaces. In addition, AR&A techniques are also useful for
knowledge acquisition and explanation generation in complex domains.
Three copies of all submissions should be received by March 20, 2000 at the address below. Submissions will also be accepted by electronic mail in PostScript format. Please include several ways of contacting the principal author: electronic mail addresses and telephone and fax numbers are preferred, in that order. In case of multiple authors, please indicate which authors wish to participate. Notification of acceptance or rejection will be mailed to authors by April 21, 2000. Camera-ready copies of papers accepted for inclusion in the proceedings will be due May 15, 2000.
Extended abstracts and full papers accepted to the symposium will be published in Springer-Verlag's Lecture Notes in Artificial Intelligence series (see www.springer.de/comp/lncs/index.html). Research summaries will also be included in the proceedings. Final versions of all papers and summaries must be in LNCS/LNAI format. Instructions to authors for the formatting of papers can be found at www.springer.de/comp/lncs/authors.html. Final versions should not exceed the following page limits: 15 pages for a full paper, 8 pages for an extended abstract and 2 pages for a research summary. Instructions to authors for the formatting of papers can be found at www.springer.de/comp/lncs/authors.html. A copy of the proceedings will be included in the registration package. Papers will also be available online through Springer-Verlag's comprehensive full-text electronic service.
Papers may contain work published elsewhere provided the authors make the necessary acknowledgments and use the generous page limit here to extend the work in some significant manner (e.g., the inclusion of additional technical details, new experimental results, or more complete comparison with related approaches). Authors will be able to submit updated versions of their papers to major conferences such as AAAI, ECAI and IJCAI, as well as journals, provided they meet all restrictions placed by the conference or journal organizers on prior publication.
Berthe Y. Choueiry
Student supportWe have limited funds to support student travel. Students wishing to be considered for travel awards should send a research summary, and an estimate of their expected travel costs.
Horseshoe Bay Resort and Conference Club is located within the ``Golden Triangle of Texas.'' The resort is less than an hour scenic drive from Austin, the State Capital of Texas. Nestled along the shores of Lake LBJ in the historic and fabled Texas Hill Country, the resort is surrounded by awe-inspiring natural beauty. It is described as ``a playground created for those individuals who have earned and deserve the finer things of life.'' The resort offers luxurious lodging, swimming pools, golf courses, putting greens, a tennis center, watersports facilities, a fitness club and spa, and horseback riding. The weather is near perfect all year round.
To prevent any confusion, the symposium was originally planned for Lago Vista Clubs & Resort. This facility however has been closed for failing to pay its taxes. Fortunately, Horseshoe Bay Resort promises an even better location that continues the fine tradition set by earlier SARA's.
We will try our best to organize transportation from Austin-Bergstrom International Airport on July 26, 2000, and back to downtown Austin on July 29, 2000.
| Mailing List: To be added or removed from the SARA
mailing list, please send an email message to <email@example.com>
with the following body: