Abstraction, Reformulation and Approximation Book

	Verifying the incorrectness of programs and automata	1
	Generating admissible heuristics by abstraction for search in stochastic domains	14
	Synthesizing plans for multiple domains	30
	Abstract policy evaluation for reactive agents	44
	Implementing an abstraction framework for soft constraints	60
	Transforming and refining abstract constraint specifications	76
	Learning regular expressions from noisy sequences	92
	From factorial and hierarchical HMM to Bayesian network : a representation change algorithm	107
	Hierarchical heuristic search revisited	121
	Multinomial event model based abstraction for sequence and text classification	134
	Petri net reachability checking is polynomial with optimal abstraction hierarchies	149
	Detecting and breaking symmetries by reasoning on problem specifications	165
	Approximate model-based diagnosis using preference-based compilation	182
	Function approximation via tile coding : automating parameter choice	194
	Creating better abstract operators	206
	A specialised binary constraint for the stable marriage problem	218
	Compositional derivation of symmetries for constraint satisfaction	234
	Solving the 24 puzzle with instance dependent pattern databases	248
	Combining feature selection and feature construction to improve concept learning for high dimensional data	261
	A qualitative spatio-temporal abstraction of a disaster space	274
	The cruncher : automatic concept formation using minimum description length	282
	Experiments with multiple abstraction heuristics in symbolic verification	290
	Probabilistic abstraction of uncertain temporal data for multiple subjects	305
	Learning classifiers using hierarchically structured class taxonomies	313
	Feature-discovering approximate value iteration methods	321
	Designing views to efficiently answer real SQL queries	332
	The multi-depot periodic vehicle routing problem	347
	Abstract representation in painting and computing	351
	Categorizing gene expression correlations with bioclinical data : an abstraction based approach	352
	Learning abstract scheduling models	354
	Knowledge acquisition on manipulation of flow and water quality models	356
	Abstraction and multiple abstraction in the symbolic modeling of the environment of mobile robots	358
	Sequential decision making under uncertainty	360
	Automatic state abstraction for pathfinding in real-time video games	362
	Model-based search	365
	Learning skills in reinforcement learning using relative novelty	367