default search action
24th AAAI Workshop: Abstraction, Reformulation, and Approximation 2010: Atlanta, Georgia, USA
- Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010. AAAI Technical Report WS-10-08, AAAI 2010
- Gregory M. Provan, Ashish Sabharwal:
Preface. - Roman Barták, Ondrej Kuzelka, Filip Zelezný:
Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem. - Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou:
Parallel Best-First Search: The Role of Abstraction. - Christian Drescher, Toby Walsh:
Reformulation of Global Constraints in Answer Set Programming. - Susan L. Epstein, Xi Yun:
From Unsolvable to Solvable: An Exploration of Simple Changes. - Djamal Habet, Philippe Jégou:
Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report. - Joshua Jones, Ashok K. Goel:
Effects of Faulty Knowledge Engineering on Structured Classification Learning. - Lukas Kroc, Ashish Sabharwal, Bart Selman:
Approximate Inference for Clusters in Solution Spaces. - Stephen Lin, Robert Wright:
Evolutionary Tile Coding: An Automated State Abstraction Algorithm for Reinforcement Learning. - Steven Loscalzo, Robert William Wright:
Automatic Methods for Continuous State Space Abstraction. - Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu:
Fast d-DNNF Compilation with sharpSAT. - Lorenza Saitta, Christel Vrain, Zhaohui Wu, Lu Jiang, Qinghua Zheng, Jun Liu:
Abstracting Markov Networks. - Xiaoming Zheng, Sven Koenig:
Market-Based Algorithms for Allocating Complex Tasks.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-27 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: