Product Information
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.Product Identifiers
PublisherSpringer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-139783540439417
eBay Product ID (ePID)87854270
Product Key Features
Number of Pages352 Pages
Publication NameAbstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
LanguageEnglish
SubjectComputer Science
Publication Year2002
TypeTextbook
AuthorRobert C. Holte, Sven Koenig
SeriesLecture Notes in Artificial Intelligence
Dimensions
Item Height235 mm
Item Weight1140 g
Item Width155 mm
Volume2371
Additional Product Features
EditorSven Koenig, Robert C. Holte
Country/Region of ManufactureGermany