Proceedings of the Ninth Symposium On Abstraction Reformulation and Approximation

Edited by Michael Genesereth and Peter Z. Revesz

Since the inception of artificial intelligence, many have argued that abstraction, reformulation, and approximation (ARA) are central to human common-sense reasoning and problem solving and to the ability of computer systems to reason effectively in complex domains. The primary use of ARA techniques has been to overcome computational intractability by decreasing the combinatorial costs associated with searching large spaces. In addition, ARA techniques are useful for knowledge acquisition and explanation generation in complex domains. The International Symposium on Abstraction, Reformulation and Approximation (SARA) series was established to provide a way for researchers to share results on ARA. The Ninth International Symposium on Abstraction, Reformulation and Approximation was held July 17-18, 2011 at a renovated medieval castle in the Parador de Cardona hotel in Cardona, Catalonia, Spain, about 60 miles northwest of Barcelona.