Catalogue

COVID-19: Updates on library services and operations.

Abstraction, reformulation, and approximation [electronic resource] : 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings /
Berthe Y. Choueiry, Toby Walsh (eds.).
imprint
New York : Springer, 2000.
description
xi, 331 p. : ill. ; 24 cm.
ISBN
3540678395 (softcover : alk. paper)
format(s)
Book
A Look Inside
Summaries
Main Description
This book constitues the refereed proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2000, held at Lake LBJ, Texas, USA in July 2000. The nine revised full papers presented together with five extended abstracts, three posters, seven research summaries, and four invited papers were carefully reviewed and selected for inclusion in the book. The book addresses all current aspects of abstraction, reformulation, and approximation and applications in areas like automatic programming, constraint satisfaction, design, diagnosis, inductive logic programming, computational learning, planning, resource allocation, theorem proving, qualitative reasoning, relational databases, etc.
Main Description
This book constitutes the refereed proceedings of the 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, held in Montreal, Quebec, Canada, in May 2000. The 25 revised full papers presented together with 12 10-page posters were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on games and constraint satisfaction; natural language processing; knowledge representation; AI applications; machine learning and data mining; planning, theorem proving, and artificial life; and neural networks.
Unpaid Annotation
This book constitutes the refereed proceedings of the 4th International Symposium on Abstraction, Reformulation, & Approximation, SARA 2000, held at Lake LBJ, Texas, U. S. A. in July 2000. The nine revised full papers presented together with five extended abstracts, three posters, seven research summaries, & four invited papers were carefully reviewed & selected for inclusion in the book. The book addresses all current aspects of abstraction, reformulation, & approximation & applications in areas like automatic programming, constraint satisfaction, design, diagnosis, inductive logic programming, computational learning, planning, resource allocation, theorem proving, qualitative reasoning, relational databases, etc.
Table of Contents
Partial Completeness of Abstract Fixpoint Checkingp. 1
An Overview of MAXQ Hierarchical Reinforcement Learningp. 26
Recent Progress in the Design and Analysis of Admissible Heuristic Functionsp. 45
GIS Databases: From Multiscale to MultiRepresentationp. 57
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagationp. 71
Abstractions for Knowledge Organization of Relational Descriptionsp. 87
Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functionsp. 107
Approximating Data in Constraint Databasesp. 124
Linearly Bounded Reformulations of Unary Databasesp. 144
A CSP Abstraction Frameworkp. 164
Interactions of Abstractions in Programmingp. 185
Reformulation and Approximation in Model Checkingp. 202
The Lumberjack Algorithm for Learning Linked Decision Forestsp. 219
Reformulating Propositional Satisfiability as Constraint Satisfactionp. 233
Improving the Efficiency of Reasoning Through Structure-Based Reformulationp. 247
Using Feature Hierarchies in Bayesian Network Learningp. 260
On Reformulating Planning as Dynamic Constraint Satisfactionp. 271
Experiments with Automatically Created Memory-Based Heuristicsp. 281
Abstraction and Phase Transitions in Relational Learningp. 291
An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosisp. 303
A Compositional Approach to Causalityp. 309
A Method for Finding Consistent Hypotheses Using Abstractionp. 313
Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfactionp. 317
Using and Learning Abstraction Hierarchies for Planningp. 320
Learning Probabilistic Relational Modelsp. 322
Synergy between Compositional Modeling and Bayesian Networksp. 324
A CSP Abstraction Frameworkp. 326
Answering Queries with Database Restrictionsp. 328
Research Summaryp. 330
Author Indexp. 333
Table of Contents provided by Blackwell. 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