Proceedings, The Tenth Symposium on Abstraction, Reformulation and Approximation (SARA 2013)
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. This volume contains the 18 peer-reviewed papers that were presented at SARA 2013 and extended abstracts of the SARA keynote address of Lorenza Saitta and the joint SARA-SoCS keynote address of J. Christopher Beck. The peer-reviewed papers comprise 14 full-length papers presenting novel, previously-unpublished research; 2 extended abstracts of papers that have been published or are under review elsewhere; and 2 research summaries that address issues of interest to the SARA community.