|
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
|