Skip to main content
SpringerLink
Log in

Abstraction, Reformulation and Approximation

6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Jean-Daniel Zucker

    1. UR 079 GEODES, IRD, Bondy, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lorenza Saitta

    1. Dip. di Informatica, Università del Piemonte Orientale, Alessandria, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3607)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: SARA 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Download chapter PDF

  2. Full Papers

    1. Verifying the Incorrectness of Programs and Automata

      • Scot Anderson, Peter Revesz
      Pages 1-13

    2. Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains

      • Natalia Beliaeva, Shlomo Zilberstein
      Pages 14-29

    3. Synthesizing Plans for Multiple Domains

      • Abdelbaki Bouguerra, Lars Karlsson
      Pages 30-43

    4. Abstract Policy Evaluation for Reactive Agents

      • Krysia Broda, Christopher John Hogger
      Pages 44-59

    5. Implementing an Abstraction Framework for Soft Constraints

      • Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda
      Pages 60-75

    6. Transforming and Refining Abstract Constraint Specifications

      • Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
      Pages 76-91

    7. Learning Regular Expressions from Noisy Sequences

      • Ugo Galassi, Attilio Giordana
      Pages 92-106

    8. From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm

      • Sylvain Gelly, Nicolas Bredeche, Michèle Sebag
      Pages 107-120

    9. Hierarchical Heuristic Search Revisited

      • Robert C. Holte, Jeffery Grajkowski, Brian Tanner
      Pages 121-133

    10. Multinomial Event Model Based Abstraction for Sequence and Text Classification

      • Dae-Ki Kang, Jun Zhang, Adrian Silvescu, Vasant Honavar
      Pages 134-148

    11. Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies

      • Peep Küngas
      Pages 149-164

    12. Detecting and Breaking Symmetries by Reasoning on Problem Specifications

      • Toni Mancini, Marco Cadoli
      Pages 165-181

    13. Approximate Model-Based Diagnosis Using Preference-Based Compilation

      • Gregory Provan
      Pages 182-193

    14. Function Approximation via Tile Coding: Automating Parameter Choice

      • Alexander A. Sherstov, Peter Stone
      Pages 194-205

    15. Creating Better Abstract Operators

      • Jonathan Teutenberg, Mike Barley
      Pages 206-217

    16. A Specialised Binary Constraint for the Stable Marriage Problem

      • Chris Unsworth, Patrick Prosser
      Pages 218-233

    17. Compositional Derivation of Symmetries for Constraint Satisfaction

      • Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
      Pages 234-247
Back to top

Other volumes

  1. Abstraction, Reformulation and Approximation

Keywords

Editors and Affiliations

  • UR 079 GEODES, IRD, Bondy, France

    Jean-Daniel Zucker

  • Dip. di Informatica, Università del Piemonte Orientale, Alessandria, Italy

    Lorenza Saitta

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation