Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

Front Cover
Jean-Daniel Zucker, Lorenza Saitta
Springer Science & Business Media, Jul 14, 2005 - Computers - 380 pages
0 Reviews
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). The symposium was held at Airth Castle, Scotland, UK, from July 26th to 29th, 2005, just prior to the IJCAI 2005 conference in Edinburgh. Previous SARA symposia took place at JacksonHole in Wyoming, USA (1994), Ville d'Estrel in Qubec, Canada (1995), Asilomar in California, USA (1998), Horseshoe Bay, Texas, USA (2000), and Kananaskis, Alberta, Canada (2002). This was then the ?rst time that the s- posium was held in Europe. Continuing the tradition started with SARA 2000, the proceedings have been published in the LNAI series of Springer. Abstractions, reformulations and approximations (AR&A) have found app- cationsin avarietyofdisciplines andproblems, including constraintsatisfaction, design, diagnosis, machine learning, planning, qualitative reasoning, scheduling, resource allocation and theorem proving, but are also deeply rooted in philo- phy and cognitive science. The papers in this volume capture a cross-section of the various facets of the ?eld and of its applications. One of the primary uses of AR&A is oriented to overcome computational intractability. AR&A techniques, however, have also proved useful for knowledge acquisition, explanation and other applications, as papers in this volume also illustrate.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

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
A Representation Change Algorithm
107
A Qualitative Spatiotemporal Abstraction of a Disaster Space
274
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
FeatureDiscovering Approximate Value Iteration Methods
321
Designing Views to Efficiently Answer Real SQL Queries
332
The Multidepot Periodic Vehicle Routing Problem
347

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 ModelBased Diagnosis Using PreferenceBased Compilation
182
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
Abstract Representation in Painting and Computing
351
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 RealTime Video Games
362
ModelBased Search
365
Learning Skills in Reinforcement Learning Using Relative Novelty
367
Author Index
375
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information