Symposium on Abstraction, Reformulation, and Approximation
Parador de Cardona, 17-18 July 2011
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.
SARA 2011 and Associated Conferences
After a series of eight international symposia (Jackson Hole, Ville d'Esterel, Pacific Grove, Horseshoe Bay, Kananaskis, Airth, and Whistler, Lake Arrowhead), the ninth Symposium on Abstraction, Reformulation and Approximation will be held on July 17-18, 2011 at the Parador de Cardona in Catalonia, Spain, 60 miles Northwest of Barcelona.
The symposium will be co-located with the Symposium on Combinatorial Search (SoCS), which will be held at the Parador de Cardona immediately before SARA. SARA 2011 will be followed by the International Joint Conference on Artificial Intelligence (IJCAI 11), which will be held in Barcelona.