Abstraction, Reformulation, and Approximation

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Partial Completeness of Abstract Fixpoint Checking
3. Altmetric Badge
   Chapter 2 An Overview of MAXQ Hierarchical Reinforcement Learning
4. Altmetric Badge
   Chapter 3 Recent Progress in the Design and Analysis of Admissible Heuristic Functions
5. Altmetric Badge
   Chapter 4 GIS Databases: From Multiscale to MultiRepresentation
6. Altmetric Badge
   Chapter 5 An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation
7. Altmetric Badge
   Chapter 6 Abstractions for Knowledge Organization of Relational Descriptions
8. Altmetric Badge
   Chapter 7 Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions
9. Altmetric Badge
   Chapter 8 Approximating Data in Constraint Databases
10. Altmetric Badge
    Chapter 9 Linearly Bounded Reformulations of Unary Databases
11. Altmetric Badge
    Chapter 10 A CSP Abstraction Framework
12. Altmetric Badge
    Chapter 11 Interactions of Abstractions in Programming
13. Altmetric Badge
    Chapter 12 Reformulation and Approximation in Model Checking
14. Altmetric Badge
    Chapter 13 The Lumberjack Algorithm for Learning Linked Decision Forests
15. Altmetric Badge
    Chapter 14 Reformulating Propositional Satisfiability as Constraint Satisfaction
16. Altmetric Badge
    Chapter 15 Improving the Efficiency of Reasoning Through Structure-Based Reformulation
17. Altmetric Badge
    Chapter 16 Using Feature Hierarchies in Bayesian Network Learning
18. Altmetric Badge
    Chapter 17 On Reformulating Planning as Dynamic Constraint Satisfaction
19. Altmetric Badge
    Chapter 18 Experiments with Automatically Created Memory-Based Heuristics
20. Altmetric Badge
    Chapter 19 Abstraction and Phase Transitions in Relational Learning
21. Altmetric Badge
    Chapter 20 An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosis
22. Altmetric Badge
    Chapter 21 A Compositional Approach to Causality
23. Altmetric Badge
    Chapter 22 A Method for Finding Consistent Hypotheses Using Abstraction
24. Altmetric Badge
    Chapter 23 Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction
25. Altmetric Badge
    Chapter 24 Using and Learning Abstraction Hierarchies for Planning
26. Altmetric Badge
    Chapter 25 Learning Probabilistic Relational Models
27. Altmetric Badge
    Chapter 26 Synergy between Compositional Modeling and Bayesian Networks
28. Altmetric Badge
    Chapter 27 A CSP Abstraction Framework
29. Altmetric Badge
    Chapter 28 Answering Queries with Database Restrictions
30. Altmetric Badge
    Chapter 29 Research Summary