shop by

Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007 Whistler, Canada, July 1 18-21, 2007 Proceedings (Paperback)

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

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.


Publisher Springer
Mfg Part# 9783540735793
SKU 205105823
Format Paperback
ISBN10 3540735798
Release Date 7/30/2007
Sold Out
Sorry, you missed the deal!
This product is currently not available.
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details