Catalogue

COVID-19: Updates on library services and operations.

Abstraction, reformulation, and approximation : 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings /
Sven Koenig, Robert C. Holte (eds.).
imprint
Berlin ; New York : Springer, c2002.
description
xi, 346 p. : ill. ; 24 cm.
ISBN
3540439412 (softcover : alk. paper)
format(s)
Book
Holdings
A Look Inside
Summaries
Main Description
This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002.The 15 revised full papers and 6 short papers were carefully reviewed and selected for inclusion in the book. Also included are 4 invited papers and 14 abstracts. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these techniques are automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving.
Main Description
This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002. The 15 revised full papers and 6 short papers were carefully reviewed and selected for inclusion in the book. Also included are 4 invited papers and 14 abstracts. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these techniques are automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving.
Table of Contents
Invited Presentations
Model Checking and Abstractionp. 1
Reformulaion in Planningp. 18
Spatiotemporal Abstraction of Stochastic Sequential Processesp. 33
State Spate Relaxation and Search Strategies in Dynamic Programmingp. 51
Full Presentations
Admissible Moves in Two-Player Gamesp. 52
Dynamic Bundling: Less Effort for More Solutionsp. 64
Symbolic Heuristic Search Using Decision Diagramsp. 83
On the Construction of Human-Automation Interfaces by Formal Abstractionp. 99
Pareto Optimization of Temporal Decisionsp. 116
An Information-Theoretic Characterization of Abstraction in Diagnosis and
Hypothesis Selectionp. 126
A Tractable Query Cache by Approximationp. 140
An Algebraic Framework for Abstract Model Checkingp. 152
Action Timing Discretization with Iterative-Refinementp. 170
Formalizing Approximate Objects and Theories: Some Initial Resultsp. 178
Model Minimization in Hierarchical Reinforcement Learningp. 196
Learning Options in Reinforcement Learningp. 212
Approximation Techniques for Non-linear Problems with Continuum of
Solutionsp. 224
Approximation of Relations by Propositional Formulas: Complexity and Semanticsp. 242
Abstracting Visual Percepts to Learn Conceptsp. 256
Short Presentations
PAC Meditation on Boolean Formulasp. 274
On the Reformulation of Vehicle Routing Problems and Scheduling Problemsp. 282
The Oracular Constraints Methodp. 290
Performance of Lookahead Control Policies in the Face of Abstractions and Approximationsp. 299
TTree: Tree-Based State Generalization with Temporally Abstract Actionsp. 308
Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstractionp. 316
Research Summaries
Abstracting Imperfect Information Game Treesp. 324
Using Abstraction for Heuristic Search and Planningp. 326
Approximation Techniques in Multiagent Learningp. 328
Abstraction and Reformulation in GraphPlanp. 330
Abstract Reasoning for Planning and Coordinationp. 331
Abstraction Techniques, and Their Valuep. 333
Reformulation of Non-binary Constraintsp. 335
Reformulating Combinatorial Optimization as Constraint Satisfactionp. 336
Autonomous Discovery of Abstractions through Interaction with an Environmentp. 338
Interface Verification: Discrete Abstractions of Hybrid Systemsp. 340
Learning Semi-lattice Codebooks for Image Compressionp. 342
Research Summaryp. 344
Principled Exploitation of Heuristic Informationp. 345
Reformulation of Temporal Constraint Networksp. 347
Author Indexp. 349
Table of Contents provided by Publisher. All Rights Reserved.

This information is provided by a service that aggregates data from review sources and other sources that are often consulted by libraries, and readers. The University does not edit this information and merely includes it as a convenience for users. It does not warrant that reviews are accurate. As with any review users should approach reviews critically and where deemed necessary should consult multiple review sources. Any concerns or questions about particular reviews should be directed to the reviewer and/or publisher.

  link to old catalogue

Report a problem