5. SARA 2002:
Kananaskis, Alberta, Canada Sven Koenig , Robert C. Holte (Eds.):
Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings.
Lecture Notes in Computer Science 2371 Springer 2002, ISBN 3-540-43941-2
Invited Presentations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sridhar Mahadevan :
Spatiotemporal Abstraction of Stochastic Sequential Processes.
33-50
export record as
dblp key:
Aristide Mingozzi :
State Space Relaxation and Search Strategies in Dynamic Programming.
51
Full Presentations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
T. K. Satish Kumar :
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection.
126-139
export record as
dblp key:
export record as
dblp key:
conf/sara/MukhopadhyayP02
export record as
dblp key:
Todd W. Neller :
Action Timing Discretization with Iterative-Refinement.
170-177
export record as
dblp key:
Aarati Parmar :
Formalizing Approximate Objects and Theories: Some Initial Results.
178-195
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bruno Zanuttini :
Approximation of Relations by Propositional Formulas: Complexity and Semantics.
242-255
export record as
dblp key:
Short Presentations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Research Summaries
export record as
dblp key:
export record as
dblp key:
Adi Botea :
Using Abstraction for Heuristic Search and Planning.
326-327
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
T. K. Satish Kumar :
Reformulating Combinatorial Optimization as Constraint Satisfaction.
336-337
export record as
dblp key:
Amy McGovern :
Autonomous Discovery of Abstractions through Interaction with an Environment.
338-339
export record as
dblp key:
Meeko Oishi :
Interface Verification: Discrete Abstractions of Hybrid Systems.
340-341
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Wheeler Ruml :
Principled Exploitation of Heuristic Information.
345-346
export record as
dblp key:
Lin Xu :
Reformulation of Temporal Constraint Networks.
347-348