+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Abstraction, Reformulation and Approximation : 4th International Symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000, Proceedings :  4th International Symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000, Proceedings - Berthe Y. Choueiry

Abstraction, Reformulation and Approximation : 4th International Symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000, Proceedings

4th International Symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000, Proceedings

By: Berthe Y. Choueiry (Editor), Toby Walsh (Editor)

Paperback Published: August 2000
ISBN: 9783540678397
Number Of Pages: 336

Share This Book:

Paperback

$125.05
or 4 easy payments of $31.26 with Learn more
Ships in 10 to 15 business days

Earn 250 Qantas Points
on this Book

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.

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.

ISBN: 9783540678397
ISBN-10: 3540678395
Series: Springer Series in Synergetics
Audience: General
Format: Paperback
Language: English
Number Of Pages: 336
Published: August 2000
Publisher: SPRINGER VERLAG GMBH
Country of Publication: US
Dimensions (cm): 23.39 x 15.6  x 1.83
Weight (kg): 0.49

Earn 250 Qantas Points
on this Book