Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings > Symbolic Heuristic Search Using Decision Diagrams
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings |
Sven Koenig; Robert C. Holte
Springer Berlin Heidelberg
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
Symbolic Heuristic Search Using Decision Diagrams
Authors

Eric Hansen; Rong Zhou; Zhengzhu Feng

ARI Id

1674219719086_2825427

Access

Not Available Free

Pages

83-98

DOI

10.1007/3-540-45622-8_7

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-45622-8_7

Table of Contents of Book
Showing 1 to 20 of 41 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XI
Model Checking and Abstraction
Robert P. Kurshan
1-17
Reformulation in Planning
Derek Long; Maria Fox; Muna Hamdi
18-32
Spatiotemporal Abstraction of Stochastic Sequential Processes
Sridhar Mahadevan
33-50
State Space Relaxation and Search Strategies in Dynamic Programming
Aristide Mingozzi
51-51
Admissible Moves in Two-Player Games
Tristan Cazenave
52-63
Dynamic Bundling: Less Effort for More Solutions
Berthe Y. Choueiry; Amy M. Davis
64-82
Symbolic Heuristic Search Using Decision Diagrams
Eric Hansen; Rong Zhou; Zhengzhu Feng
83-98
On the Construction of Human-Automation Interfaces by Formal Abstraction
Michael Heymann; Asaf Degani
99-115
Pareto Optimization of Temporal Decisions
Lina Khatib; Paul Morris; Robert Morris
116-125
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
T. K. Satish Kumar
126-139
A Tractable Query Cache by Approximation
Daniel Miranker; Malcolm C. Taylor; Anand Padmanaban
140-151
An Algebraic Framework for Abstract Model Checking
Supratik Mukhopadhyay; Andreas Podelski
152-169
Action Timing Discretization with Iterative-Refinement
Todd W. Neller
170-177
Formalizing Approximate Objects and Theories: Some Initial Results
Aarati Parmar
178-195
Model Minimization in Hierarchical Reinforcement Learning
Balaraman Ravindran; Andrew G. Barto
196-211
Learning Options in Reinforcement Learning
Martin Stolle; Doina Precup
212-223
Approximation Techniques for Non-linear Problems with Continuum of Solutions
Xuan-Ha Vu; Djamila Sam-Haroud; Marius-Calin Silaghi
224-241
Approximation of Relations by Propositional Formulas: Complexity and Semantics
Bruno Zanuttini
242-255
Abstracting Visual Percepts to Learn Concepts
Jean-Daniel Zucker; Nicolas Bredeche; Lorenza Saitta
256-273
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 41 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings