Presentations and Posters at SARA'2002 and links to on-line slides
Model Checking and Abstraction
Bob Kurshan
Reformulation in Planning
Derek Long
link to on-line slides
Spatiotemporal Abstraction of Stochastic Sequential Processes
Sridhar Mahadevan
Dynamic Bundling: Less Effort for More Solutions
Berthe Y. Choueiry and Amy M. Davis
Pareto Optimization of Temporal Decisions
Lina Khatib, Paul Morris, Robert Morris
On the Reformulation of Vehicle Routing Problems and Scheduling Problems
Christopher Beck, Patrick Prosser and Evgeny Selensky
An Algebraic Framework for Abstract Model Checking
Supratik Mukhopadhyay and Andreas Podelski
Formalizing Approximate Objects and Theories: Some Initial Results
Aarati Parmar
link to on-line Powerpoint slides
link to on-line slides - HTML version
Approximation of relations by propositional formulas: complexity and semantics
Bruno Zanuttini
link to on-line slides
A Tractable Query Cache by Approximation
Dan Miranker, Malcolm Taylor, Anand Padmanaban
Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction
Jun Zhang and Vasant Honavar
PAC Meditation on boolean formulas
Bruno Apolloni
Abstracting Visual Percepts to Learn Concepts
Jean-Daniel Zucker, N. Bredeche, L. Saitta
Symbolic heuristic search using decision diagrams
Eric Hansen, Rong Zhou and Zhengzhu Feng
Admissible Moves in Two-player Games
Tristan Cazenave
Action Timing Discretization with Iterative-Refinement
Todd Neller
link to on-line slides
Model Minimization in Hierarchical Reinforcement Learning
B. Ravindran and Andrew G. Barto
link to on-line slides
link to on-line slides - version for Internet Explorer
Learning options in reinforcement learning
Martin Stolle and Doina Precup
link to on-line slides
TTree: Tree-Based Sate Generalization with Temporally Abstract Actions
William T. B. Uther and Manuela M. Veloso
Performance of Lookahead Control Policies in the face of Abstraction
and Approximation
Ilya Levner, V. Bulitko, O. Madani, R. Greiner
On the construction of human-automation interfaces by formal abstraction"
M. Heymann and Asaf Degani
An Information-Theoretic Characterization of Abstraction in
Diagnosis and Hypothesis Selection
T. K. Satish Kumar
Approximation techniques for non-linear problems with continuum
of solutions
Xuan-Ha Vu, Djamila Sam-Haroud and Marius Silaghi
link to on-line slides
The Oracular Constraints Method
T. K. Satish Kumar, Richard Dearden
Abstraction and Planning in Sokoban
Adi Botea, Martin Mueller, Jonathan Schaeffer
link to on-line slides
Autonomous Discovery of Temporal Abstractions from
Interaction with an Environment
Amy McGovern
link to on-line slides
Interface verification: Abstractions of hybrid systems
and human-automation interaction
Meeko Oishi
Heuristic search in bounded-depth trees: best-leaf-first search
Wheeler Ruml
Abstracting Imperfect Information Game Trees
Darse Billings
The Interface between P and NP
Toby Walsh
CGRASS: a system for reformulating constraint programs
Toby Walsh
Abstraction, Approximation, and Reformulation for Explicit
State Software Model Chekcing
Michael Lowry
Heuristic Search-Based Replanning
Sven Koenig, D. Furcy and Colin Bauer
link to on-line slides
Constraint Modeling and Reformulation in the Context of Academic Task
Assignment
Robert Glaubius and Berthe Y. Choueiry
link to on-line slides
Approximation Techniques in Multiagent Learning
Michael Bowling
|