Power Search
Low Price Guarantee
We Take School POs
Abstraction, Reformulation, and Approximation: 5th International Symposium, Sara 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings 2002 Edition
Contributor(s): Koenig, Sven (Editor), Holte, Robert C. (Editor)

View larger image

 ISBN: 3540439412     ISBN-13: 9783540439417
Publisher: Springer
OUR PRICE: $52.24  

Binding Type: Paperback - See All Available Formats & Editions
Published: July 2002
Qty:

Annotation: This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002.
The 15 revised full papers and 6 short papers were carefully reviewed and selected for inclusion in the book. Also included are 4 invited papers and 14 abstracts. 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: 006.3
LCCN: 2002026828
Physical Information: 0.76" H x 8.5" W x 11" L (1.88 lbs) 352 pages
 
Descriptions, Reviews, Etc.
Publisher Description:
It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000.
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!