SARA-2002 final program
-----------------------


============ Friday, August 2 ==========================

08.15-09.25 REGISTRATION (please come early)
09.30-09.40 chairmen's remarks, announcements, logistics, etc.
09.40-10.40 Invited talk - Sridhar Mahadevan
            "Spatiotemporal Abstraction of Stochastic Sequential Processes"

10.40-11.10 Coffee break

11.10-13.10 Technical Session 1 - Learning
11.10-11.50 Model Minimization in Hierarchical Reinforcement Learning
            B. Ravindran and Andrew G. Barto 
11.50-12.30 Learning options in reinforcement learning
            Martin Stolle and Doina Precup
12.30-13.10 Abstracting Visual Percepts to Learn Concepts
            Jean-Daniel Zucker, N. Bredeche, L. Saitta

13.10-14.30 Lunch

14.30-16.30 Technical Session 2 - Reformulation and Approximation
14.30-15.10 Formalizing Approximate Objects and Theories
            Aarati Parmar
15.10-15.50 Approximation of relations by propositional formulas
            Bruno Zanuttini
15.50-16.30 A Tractable Query Cache by Approximation
            Dan Miranker, Malcolm Taylor, Anand Padmanaban


16.30-16.40 short break

16.40-17.00 overview of poster presentations
Posters based on submissions
  - On the Reformulation of Vehicle Routing Problems and Scheduling Problems 
       Christopher Beck, Patrick Prosser and Evgeny Selensky 
  - On Models of Control and Lookahead Search for Image Interpretation 
       O. Madani, V. Bulitko, I. Levner, R. Greiner 
  - Ontology-Driven Induction of Decision Trees at Multiple
    Levels of Abstraction 
       Jun Zhang and Vasant Honavar 
  - PAC Meditation on boolean formulas 
        Bruno Apolloni 
  - The Oracular Constraints Method 
        T. K. Satish Kumar, Richard Dearden 
Posters of "late-breaking results"
  - Meeko Oishi
  - Michael Bowling
  - Darse Billings
  - Wheeler Ruml
  - Adi Botea
  - Amy McGovern
  - Toby Walsh
  - Mike Lowry
  - Robert Glaubius and Berthe Y. Choueiry


17.30-19.00 Poster session and reception

19.00-21.00 Dinner (buffet adjacent to the poster session)



============ Saturday, August 3 ==========================


08.30-08.40 chairmen's remarks, announcements, logistics, etc.
08.40-09.40 Invited talk - Bob Kurshan
            "Model Checking and Abstraction"

09.40-10.10 Coffee break

10.10-12.10 Technical Session 3 - Search
10.10-10.50 Symbolic heuristic search using decision diagrams 
            Eric Hansen, Rong Zhou and Zhengzhu Feng 
10.50-11.30 Constraint Transformer Monoids: A Unified Algebraic Framework
            for Abstract Symbolic Forward Analysis of Infinite State Systems 
            Supratik Mukhopadhyay and Andreas Podelski 
11.30-12.10 Admissible Moves in Two-player Games
            Tristan Cazenave
12.10-13.30 Lunch

13.30-14.30 Invited talk - Derek Long
              "Reformulation in Planning"

14.30-15.00 Coffee break

15.00-17.00 Technical Session 4 - Constraint Satisfaction
15.00-15.40 Dynamic Bundling Improves Search and Reduces the Phase Transition
            Berthe Y. Choueiry and Amy M. Davis
15.40-16.20 Pareto Optimization of Temporal Decisions
            Lina Khatib, Paul Morris, Robert Morris
16.20-17.00 Approximation techniques for non-linear problems with continuum
            of solutions
            Xuan-Ha Vu, Djamila Sam-Haroud and Marius Silaghi

17.00-17.10 short break

17.10-17.30 information session - "Abstraction: One word - How many meanings?"
            Lorenza Saitta

18.00-20.00 dinner (and business meeting to discuss the next SARA)



============ Sunday, August 4 ==========================

08.30-10.30 Technical Session 5
08.30-09.10 Iterative Refinement for Action Timing Discretization
            Todd Neller
09.10-09.50 On the construction of human-automation interfaces by
            formal abstraction
            Asaf Degani and M. Heymann
09.50-10.30 An Information-Theoretic Characterization of Abstraction
            in Diagnosis and Hypothesis Selection
            T. K. Satish Kumar

11.00-12.30 - lunch