Abstract is missing.
- Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction ProblemRoman Barták, Ondrej Kuzelka, Filip Zelezný. [doi]
- Automatic Methods for Continuous State Space AbstractionSteven Loscalzo, Robert Wright. [doi]
- Toward a Generalization and a Reformulation of Goods in SAT - Preliminary ReportDjamal Habet, Philippe Jégou. [doi]
- From Unsolvable to Solvable: An Exploration of Simple ChangesSusan L. Epstein, Xi Yun. [doi]
- Parallel Best-First Search: The Role of AbstractionEthan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou. [doi]
- Market-Based Algorithms for Allocating Complex TasksXiaoming Zheng, Sven Koenig. [doi]
- Effects of Faulty Knowledge Engineering on Structured Classification LearningJoshua Jones, Ashok K. Goel. [doi]
- PrefaceGregory Provan, Ashish Sabharwal. [doi]
- Approximate Inference for Clusters in Solution SpacesLukas Kroc, Ashish Sabharwal, Bart Selman. [doi]
- Abstracting Markov NetworksLorenza Saitta, Christel Vrain, Zhaohui Wu, Lu Jiang, Qinghua Zheng, Jun Liu. [doi]
- Fast d-DNNF Compilation with sharpSATChristian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu. [doi]
- Reformulation of Global Constraints in Answer Set ProgrammingChristian Drescher, Toby Walsh. [doi]
- Evolutionary Tile Coding: An Automated State Abstraction Algorithm for Reinforcement LearningStephen Lin, Robert Wright. [doi]