"Abstraction, Reformulation, and Approximation" - Information and Links:

Abstraction, Reformulation, and Approximation - Info and Reading Options

5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

Book's cover
The cover of “Abstraction, Reformulation, and Approximation” - Open Library.

"Abstraction, Reformulation, and Approximation" is published by Springer in September 17, 2002, it has 349 pages and the language of the book is English.


“Abstraction, Reformulation, and Approximation” Metadata:

  • Title: ➤  Abstraction, Reformulation, and Approximation
  • Authors:
  • Language: English
  • Number of Pages: 349
  • Publisher: Springer
  • Publish Date:

“Abstraction, Reformulation, and Approximation” Subjects and Themes:

Edition Specifications:

  • Format: Paperback
  • Weight: 1.1 pounds
  • Dimensions: 9.1 x 6.1 x 0.8 inches

Edition Identifiers:

AI-generated Review of “Abstraction, Reformulation, and Approximation”:


Snippets and Summary:

How can a computer program developer ensure that a program actually implements its intended purpose?

"Abstraction, Reformulation, and Approximation" Description:

The Open Library:

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.

Read “Abstraction, Reformulation, and Approximation”:

Read “Abstraction, Reformulation, and Approximation” by choosing from the options below.

Search for “Abstraction, Reformulation, and Approximation” downloads:

Visit our Downloads Search page to see if downloads are available.

Borrow "Abstraction, Reformulation, and Approximation" Online:

Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.

Find “Abstraction, Reformulation, and Approximation” in Libraries Near You:

Read or borrow “Abstraction, Reformulation, and Approximation” from your local library.

Buy “Abstraction, Reformulation, and Approximation” online:

Shop for “Abstraction, Reformulation, and Approximation” on popular online marketplaces.


Related Books

Related Ebooks

Source: The Open Library

E-Books

Related Ebooks from the Open Library and The Internet Archive.

1Abstraction, Reformulation, and Approximation - Ebook

Please note that the files availability may be limited due to copyright restrictions.
Check the files availability here, with more info and coverage.

“Abstraction, Reformulation, and Approximation - Ebook” Metadata:

  • Title: ➤  Abstraction, Reformulation, and Approximation - Ebook