Tuesday July 26th

19.00-21.00 DINNER

included in the accommodation and general fees

Wednesday July 27th

08.15-09.30 REGISTRATION

09.30-09.50 Cochair and Organizer remarks, announcements, logistics, etc.

09.50-10.30 Opening talk

"What is abstraction ? A cross-disciplinary comparison"
by Lorenza Saitta

10.30-11.00 Coffee Break

11.00-13.00 Technical Session 1

Transforming and Refining Abstract Constraint Specifications
Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh

Implementing an Abstraction Framework for Soft Constraints
Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda

A Specialised Binary Constraint for the Stable Marriage Problem
Chris Unsworth, Patrick Prosser

Compositional Derivation of Symmetries for Constraint Satisfaction
Pascal Van Hentenryck, Pierre Flener, Justin Pearson

13.00-14.30 Lunch

14.30-15.30 Invited Speaker

"Designing Views to Efficiently Answer real SQL Queries"
Rada CHIRKOVA (Univ. North Carolina, Raleigh, USA).

15.30-16h15 Overview of Extented Abstract Presentations

Solving the 24 Puzzle with Instance Dependent Pattern Databases
Ariel Felner, Amir Adler

Combining Feature Selection and Feature Construction to Improve Concept Learning
Blaise Hanczar

A Qualitative Spatio-temporal Abstraction of a Disaster Space
Zina M. Ibrahim, Ahmed Y. Tawfik

The Cruncher: Automatic Concept Formation Using Minimum Description Length
Marc Pickett, Tim Oates

Experiments with Multiple Abstraction Heuristics in Symbolic Verif.
Kairong Qian, Albert Nymeyer, Steven Susanto

Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects
Michael Ramati, Yuval Shahar

Learning Classifiers Using Hierarchically Structured Class Taxonomies
Feihong Wu, Jun Zhang, Vasant Honavar

Feature-Discovering Approximate Value Iteration Methods
Jia-Hong Wu, Robert Givan

16.15-16-45 Coffee break

16.45-19.00 Poster session / *Reception*

19.00-21.00 Dinner

Thursday July 28th

08.45-09.00 Chairmen's remarks, announcements, logistics, etc.

09.00-10.00 Invited Speaker

"The Multi-depot Periodic Vehicle Routing Problem"
Aristide MINGOZZI (Univ. Bologna, Italy)

10.00-10.30 Coffee break

10-30-13-00 Technical Session 2

Learning Regular Expressions from Noisy Sequences
Ugo Galassi, Attilio Giordana

From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm
Sylvain Gelly, Nicolas Bredeche, Michèle Sebag

Multinomial Event Model Based Abstraction for Sequence and Text Classification
Dae-Ki Kang, Jun Zhang, Adrian Silvescu, Vasant Honavar

Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies
Peep Kungas

Function Approximation via Tile Coding: Automating Parameter Choice
Alexander A. Sherstov, Peter Stone

13.00-14.30 Lunch

14.30-15.30 Invited Speaker

"Abstract Representation in Painting and Computing"
Robert ZIMMER  (Goldsmiths College University of London, England).

15.30-16.30 Technical Session 3

Synthesizing Plans for Multiple Domains
Abdelbaki Bouguerra, Lars Karlsson

Creating Better Abstract Operators
Jonathan Teutenberg, Mike Barley

16.30-16.45 Coffee break

16h45-17.45 Technical Session 4

Hierarchical Heuristic Search Revisited
Robert C. Holte, Jeffery Grajkowski, Brian Tanner

Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains
Natalia Beliaeva, Shlomo Zilberstein

19.00-21.00 Dinner

21.00-22.00 Short PC meeting

Friday July 29th

9:00-10:00 Technical Session 5

Detecting and Breaking Symmetries by Reasoning on Problem Specifications
Toni Mancini, Marco Cadoli

Verifying the Incorrectness of Programs and Automata
Scot Anderson, Peter Revesz

10.30 Coffee break

10:30-11:30 Technical Session 6

Abstract Policy Evaluation for Reactive Agents
Krysia Broda, Christopher John Hogger

Approximate Model-Based Diagnosis Using Preference-Based Compilation
Gregory Provan

12.00-13.30 Lunch

...Departure for IJCAI site.

This page maintained by Jean-Daniel Zucker