Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007 Whistler, Canada, July 1 18-21, 2007 Proceedings 2007 Edition Contributor(s): Miguel, Ian (Editor), Tuml, Wheeler (Editor) |
|
ISBN: 3540735798 ISBN-13: 9783540735793 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: July 2007 Annotation: This book constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2007, held in Whistler, Canada, in July 2007. The 26 revised full papers presented together with the abstracts of 3 invited papers and 13 research summaries were carefully reviewed and selected for inclusion in the book. 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 automated reasoning, automatic programming, cognitive modelling, constraint programming, design, diagnosis, machine learning, model-based reasoning, planning, reasoning, scheduling, search, theorem proving, and tutoring. |
Additional Information |
BISAC Categories: - Computers | Intelligence (ai) & Semantics - Computers | Logic Design - Mathematics | Logic |
Dewey: 004 |
LCCN: 2007930461 |
Series: Lecture Notes in Computer Science |
Physical Information: 1.01" H x 6.36" W x 9.41" (1.53 lbs) 420 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This is a subject that is as hot as a snake in a wagon rut, offering as it does huge potentiality in the field of computer programming. That's why this book, which constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, held in Whistler, Canada, in July 2007, will undoubtedly prove so popular among researchers and professionals in relevant fields. 26 revised full papers are presented, together with the abstracts of 3 invited papers and 13 research summaries. |