Abstraction, Reformulation, and Approximation
Papers from the 2010 AAAI Workshop
Gregory Provan and Ashish Sabharwal, Cochairs
Technical Report WS-10-08 published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Contents
Preface
Gregory Provan, Ashish Sabharwal
Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem
Roman Bartak, Ondrej Kuzelka, Filip Zelezny
Parallel Best-First Search: The Role of Abstraction
Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou
Reformulation of Global Constraints in Answer Set Programming
Christian Drescher, Toby Walsh
From Unsolvable to Solvable: An Exploration of Simple Changes
Susan L. Epstein, Xi Yun
Toward a Generalization and a Reformulation of Goods in SAT — Preliminary Report
Djamal Habet, Philippe Jegou
Effects of Faulty Knowledge Engineering on Structured Classification Learning
Joshua Jones, Ashok Goel
Approximate Inference for Clusters in Solution Spaces
Lukas Kroc, Ashish Sabharwal, Bart Selman
Evolutionary Tile Coding: An Automated State Abstraction Algorithm for Reinforcement Learning
Stephen Lin, Robert Wright
Automatic Methods for Continuous State Space Abstraction
Steven Loscalzo, Robert Wright
Fast d-DNNF Compilation with sharpSAT
Christian Muise, Sheila McIlraith, J. Christopher Beck, Eric Hsu
Abstracting Markov Networks
Lorenza Saitta, Christel Vrain, Zhaohui Wu, Lu Jiang, Qinghua Zheng, Jun Liu
Market-Based Algorithms for Allocating Complex Tasks
Xiaoming Zheng, Sven Koenig
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.