AAAI-10 Workshop on Abstraction, Reformulation, and Approximation

July 12, 2010

Atlanta, GA

Past Symposia

*NOTE*: workshop location: Tower Room 1205 (8th Floor), The Westin Peachtree Plaza Hotel, Atlanta [see AAAI-10 info page for conference venue]

Workshop Schedule

[download PDF version]

9:00 - 9:05 Opening Remarks
Gregory Provan and Ashish Sabharwal
Session 1: ARA for Constraint Satisfaction Problems I
9:05 - 9:30 Toward a Generalization and a Reformulation of Goods in SAT: Preliminary Report
Djamal Habet, Philippe Jegou
9:30 - 9:55 From Unsolvable to Solvable: An Exploration of Simple Changes
Susan L. Epstein, Xi Yun
9:55 - 10:20 Fast d-DNNF Compilation with sharpSAT
Christian Muise, Sheila McIlraith, J. Christopher Beck, Eric Hsu
10:20 - 11:00 Coffee Break I
Session 2: ARA in Machine Learning
11:00 - 11:25 Evolutionary Tile Coding: An automated state abstraction algorithm for reinforcement learning
Stephen Lin, Robert Wright
11:25 - 11:50 Effects of Faulty Knowledge Engineering on Structured Classification Learning
Joshua Jones, Ashok Goel
11:50 - 12:15 Automatic Methods for Continuous State Space Abstraction
Steven Loscalzo, Robert Wright
12:15 - 14:15 Lunch Break
Session 3: ARA for Reasoning in Combinatorial Search Spaces
14:15 - 14:40 Abstracting Markov Networks
Lorenza Saitta, Christel Vrain
14:40 - 15:05 Approximate Inference for Clusters in Solution Spaces
Lukas Kroc, Ashish Sabharwal, Bart Selman
15:05 - 15:30 Parallel Best-First Search: The Role of Abstraction
Ethan Burns, Seth Lemons, Wheeler Ruml, Rong Zhou
15:30 - 16:00 Coffee Break II
Session 4: ARA for Constraint Satisfaction Problems II
16:00 - 16:25 Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem
Roman Bartak, Ondrej Kuzelka, Filip Zelezny
16:25 - 16:45 Reformulation of Global Constraints in Answer Set Programming
Christian Drescher, Toby Walsh
16:45 - 17:15 Open Discussion
The Role and Future of ARA in AI