Abstraction, Reformulation, and Approximation

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Model Checking and Abstraction
3. Altmetric Badge
   Chapter 2 Reformulation in Planning
4. Altmetric Badge
   Chapter 3 Spatiotemporal Abstraction of Stochastic Sequential Processes
5. Altmetric Badge
   Chapter 4 State Space Relaxation and Search Strategies in Dynamic Programming
6. Altmetric Badge
   Chapter 5 Admissible Moves in Two-Player Games
7. Altmetric Badge
   Chapter 6 Dynamic Bundling: Less Effort for More Solutions
8. Altmetric Badge
   Chapter 7 Symbolic Heuristic Search Using Decision Diagrams
9. Altmetric Badge
   Chapter 8 On the Construction of Human-Automation Interfaces by Formal Abstraction
10. Altmetric Badge
    Chapter 9 Pareto Optimization of Temporal Decisions
11. Altmetric Badge
    Chapter 10 An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
12. Altmetric Badge
    Chapter 11 A Tractable Query Cache by Approximation
13. Altmetric Badge
    Chapter 12 An Algebraic Framework for Abstract Model Checking
14. Altmetric Badge
    Chapter 13 Action Timing Discretization with Iterative-Refinement
15. Altmetric Badge
    Chapter 14 Formalizing Approximate Objects and Theories: Some Initial Results
16. Altmetric Badge
    Chapter 15 Model Minimization in Hierarchical Reinforcement Learning
17. Altmetric Badge
    Chapter 16 Learning Options in Reinforcement Learning
18. Altmetric Badge
    Chapter 17 Approximation Techniques for Non-linear Problems with Continuum of Solutions
19. Altmetric Badge
    Chapter 18 Approximation of Relations by Propositional Formulas: Complexity and Semantics
20. Altmetric Badge
    Chapter 19 Abstracting Visual Percepts to Learn Concepts
21. Altmetric Badge
    Chapter 20 PAC Meditation on Boolean Formulas
22. Altmetric Badge
    Chapter 21 On the Reformulation of Vehicle Routing Problems and Scheduling Problems
23. Altmetric Badge
    Chapter 22 The Oracular Constraints Method
24. Altmetric Badge
    Chapter 23 Performance of Lookahead Control Policies in the Face of Abstractions and Approximations
25. Altmetric Badge
    Chapter 24 TTree: Tree-Based State Generalization with Temporally Abstract Actions
26. Altmetric Badge
    Chapter 25 Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction
27. Altmetric Badge
    Chapter 26 Abstracting Imperfect Information Game Trees
28. Altmetric Badge
    Chapter 27 Using Abstraction for Heuristic Search and Planning
29. Altmetric Badge
    Chapter 28 Approximation Techniques in Multiagent Learning
30. Altmetric Badge
    Chapter 29 Abstraction and Reformulation in GraphPlan
31. Altmetric Badge
    Chapter 30 Abstract Reasoning for Planning and Coordination
32. Altmetric Badge
    Chapter 31 Research Summary: Abstraction Techniques, and Their Value
33. Altmetric Badge
    Chapter 32 Reformulation of Non-binary Constraints
34. Altmetric Badge
    Chapter 33 Reformulating Combinatorial Optimization as Constraint Satisfaction
35. Altmetric Badge
    Chapter 34 Autonomous Discovery of Abstractions through Interaction with an Environment
36. Altmetric Badge
    Chapter 35 Interface Verification: Discrete Abstractions of Hybrid Systems
37. Altmetric Badge
    Chapter 36 Learning Semi-lattice Codebooks for Image Compression
38. Altmetric Badge
    Chapter 37 Research Summary
39. Altmetric Badge
    Chapter 38 Principled Exploitation of Heuristic Information
40. Altmetric Badge
    Chapter 39 Reformulation of Temporal Constraint Networks