Lecture Notes in Artificial Intelligence

Abstraction, Reformulation, and Approximation

4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings

Editors: Choueiry, Berthe Y., Walsh, Toby (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-44914-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-67839-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26– 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d’Est´erel in Qu´ebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year’s symposium was actually scheduled to take place at Lago Vista Clubs & Resort on Lake Travis but, due to the resort’s failure to pay taxes, the conference had to be moved late in the day. This mischance engendered eleventh-hour reformulations, abstractions, and resource re-allocations of its own. Such are the perils of organizing a conference. This is the ?rst SARA for which the proceedings have been published in the LNAI series of Springer-Verlag. We hope that this is a re?ection of the increased maturity of the ?eld and that the increased visibility brought by the publication of this volume will help the discipline grow even further. Abstractions, reformulations, and approximations (AR&A) have found - plications in a variety of disciplines and problems including automatic progr- ming, constraint satisfaction, design, diagnosis, machine learning, planning, qu- itative reasoning, scheduling, resource allocation, and theorem proving. The - pers in this volume capture a cross-section of these application domains.

Table of contents (1 chapters)

  • GIS Databases: From Multiscale to MultiRepresentation

    Stefano Spaccapietra, Christine Parent, Christelle Vangenot

    Pages 57-70

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-44914-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-67839-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Abstraction, Reformulation, and Approximation
Book Subtitle
4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings
Editors
  • Berthe Y. Choueiry
  • Toby Walsh
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1864
Copyright
2000
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44914-0
DOI
10.1007/3-540-44914-0
Softcover ISBN
978-3-540-67839-7
Edition Number
1
Number of Pages
XII, 336
Topics