Abstraction, Reformulation and Approximation: 6th International Symposium, Sara 2005, Airth Castle, Scotland, Uk, July 26-29, 2005, Proceedings 2005 Edition Contributor(s): Zucker, Jean-Daniel (Editor), Saitta, Lorenza (Editor) |
|
ISBN: 3540278729 ISBN-13: 9783540278726 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: July 2005 Annotation: This book constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2005, held in Airth Castle, Scotland, UK in July 2005. The 17 revised full papers and 8 extended abstracts were carefully reviewed and selected for inclusion in the book. Also included are 3 invited papers and 8 research summaries. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these techniques are automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. |
Additional Information |
BISAC Categories: - Computers | Intelligence (ai) & Semantics - Computers | Logic Design - Mathematics | Logic |
Dewey: 004 |
Series: Lecture Notes in Computer Science / Lecture Notes in Artific |
Physical Information: 0.81" H x 6.14" W x 9.21" (1.22 lbs) 380 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). The symposium was held at Airth Castle, Scotland, UK, from July 26th to 29th, 2005, just prior to the IJCAI 2005 conference in Edinburgh. Previous SARA symposia took place at JacksonHole in Wyoming, USA (1994), Ville d'Estrel in Qubec, Canada (1995), Asilomar in California, USA (1998), Horseshoe Bay, Texas, USA (2000), and Kananaskis, Alberta, Canada (2002). This was then the ?rst time that the s- posium was held in Europe. Continuing the tradition started with SARA 2000, the proceedings have been published in the LNAI series of Springer. Abstractions, reformulations and approximations (AR&A) have found app- cationsin avarietyofdisciplines andproblems, including constraintsatisfaction, design, diagnosis, machine learning, planning, qualitative reasoning, scheduling, resource allocation and theorem proving, but are also deeply rooted in philo- phy and cognitive science. The papers in this volume capture a cross-section of the various facets of the ?eld and of its applications. One of the primary uses of AR&A is oriented to overcome computational intractability. AR&A techniques, however, have also proved useful for knowledge acquisition, explanation and other applications, as papers in this volume also illustrate. |