The Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA-2002)

Seven Koenig, Robert Holte

Abstract


The Fifth International Symposium on Abstraction, Reformulation, and Approximation (SARA-2002) was held from 2 to 4 August 2002 in Kananaskis, Alberta, Canada. This interdisciplinary conference brought together researchers from around the world to present recent progress on, and exchange ideas about, how abstraction, reformulation, and approximation techniques can be used in areas such as automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v24i1.1694

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.