6. SARA 2005: Airth Castle, Scotland, UK

Full Papers

• Scot Anderson, Peter Z. Revesz:
  Verifying the Incorrectness of Programs and Automata. 1-13
  
• Natalia N. Beliaeva, Shlomo Zilberstein:
  Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains. 14-29
  
• Abdelbaki Bouguerra, Lars Karlsson:
  Synthesizing Plans for Multiple Domains. 30-43
  
• Krysia Broda, Christopher J. Hogger:
  Abstract Policy Evaluation for Reactive Agents. 44-59
  
• Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda:
  Implementing an Abstraction Framework for Soft Constraints. 60-75
  
• Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh:
  Transforming and Refining Abstract Constraint Specifications. 76-91
  
• Ugo Galassi, Attilio Giordana:
  Learning Regular Expressions from Noisy Sequences. 92-106
  
• Sylvain Gelly, Nicolas Bredeche, Michèle Sebag:
  From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm. 107-120
  
• Robert C. Holte, Jeffery Grajkowski, Brian Tanner:
  Hierarchical Heuristic Search Revisited. 121-133
  
• Dae-Ki Kang, Jun Zhang, Adrian Silvescu, Vasant Honavar:
  Multinomial Event Model Based Abstraction for Sequence and Text Classification. 134-148
  
• Peep Küngas:
  Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. 149-164
  
• Toni Mancini, Marco Cadoli:
  Detecting and Breaking Symmetries by Reasoning on Problem Specifications. 165-181
  
• Gregory M. Provan:
  Approximate Model-Based Diagnosis Using Preference-Based Compilation. 182-193
  
• Alexander A. Sherstov, Peter Stone:
  Function Approximation via Tile Coding: Automating Parameter Choice. 194-205
  
• Jonathan Teutenberg, Mike Barley:
  Creating Better Abstract Operators. 206-217
  
• Chris Unsworth, Patrick Prosser:
  A Specialised Binary Constraint for the Stable Marriage Problem. 218-233
  
• Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren:
  Compositional Derivation of Symmetries for Constraint Satisfaction. 234-247
  

Extended Abstracts

• Ariel Felner, Amir Adler:
  Solving the 24 Puzzle with Instance Dependent Pattern Databases. 248-260
  
• Blaise Hanczar:
  Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional Data. 261-273
  
• Zina M. Ibrahim, Ahmed Y. Tawfik:
  A Qualitative Spatio-temporal Abstraction of a Disaster Space. 274-281
  
• Marc Pickett, Tim Oates:
  The Cruncher: Automatic Concept Formation Using Minimum Description Length. 282-289
  
• Kairong Qian, Albert Nymeyer, Steven Susanto:
  Experiments with Multiple Abstraction Heuristics in Symbolic Verification. 290-304
  
• Michael Ramati, Yuval Shahar:
  Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects. 305-312
  
• Feihong Wu, Jun Zhang, Vasant Honavar:
  Learning Classifiers Using Hierarchically Structured Class Taxonomies. 313-320
  
• Jia-Hong Wu, Robert Givan:
  Feature-Discovering Approximate Value Iteration Methods. 321-331
  

Invited Talks

• Foto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki:
  Designing Views to Efficiently Answer Real SQL Queries. 332-346
  
• Aristide Mingozzi:
  The Multi-depot Periodic Vehicle Routing Problem. 347-350
  
• Robert Zimmer:
  Abstract Representation in Painting and Computing. 351
  

Research Summaries

• Arriel Benis:
  Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach. 352-353
  
• Tom Carchrae, J. Christopher Beck:
  Learning Abstract Scheduling Models. 354-355
  
• Kwok-wing Chau:
  Knowledge Acquisition on Manipulation of Flow and Water Quality Models. 356-357
  
• Juan-Antonio Fernandez-Madrigal, Javier Gonzalez, Cipriano Galindo:
  Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots. 358-359
  
• Masoumeh T. Izadi:
  Sequential Decision Making Under Uncertainty. 360-361
  
• Nathan R. Sturtevant, Vadim Bulitko, Michael Buro:
  Automatic State Abstraction for Pathfinding in Real-Time Video Games. 362-364
  
• Wheeler Ruml:
  Model-Based Search. 365-366
  
• Özgür Simsek, Andrew G. Barto:
  Learning Skills in Reinforcement Learning Using Relative Novelty. 367-374