Advertisement

Abstraction, Reformulation, and Approximation

4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

  • Berthe Y. Choueiry
  • Toby Walsh
Conference proceedings SARA 2000

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1864)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

  3. Tutorial

    1. Stefano Spaccapietra, Christine Parent, Christelle Vangenot
      Pages 57-70
  4. Full Papers

    1. Stefano Bistarelli, Philippe Codognet, Francesca Rossi
      Pages 71-86
    2. Isabelle Bournaud, Mélanie Courtine, Jean-Daniel Zucker
      Pages 87-106
    3. Carlos Carreras, Manuel V. Hermenegildo
      Pages 107-123
    4. Rui Chen, Min Ouyang, Peter Z. Revesz
      Pages 124-143
    5. Rada Chirkova, Michael R. Genesereth
      Pages 144-163
    6. Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Eric Grégoire
      Pages 164-184
    7. Gordon S. Novak Jr.
      Pages 185-201
    8. William T. B. Uther, Manuela M. Veloso
      Pages 219-232
  5. Extended Abstracts

    1. Marie desJardins, Lise Getoor, Daphne Koller
      Pages 260-270
    2. Jeremy Frank, Ari K. Jónsson, Paul Morris
      Pages 271-280
    3. István T. Hernádvölgyi, Robert C. Holte
      Pages 281-290
    4. Lorenza Saitta, Jean-Daniel Zucker
      Pages 291-301
  6. Posters

    1. T. K. Satish Kumar
      Pages 309-312
    2. Yoshiaki Okubo, Makoto Haraguchi, Yan Fang Zheng
      Pages 313-316
  7. Research Summaries

    1. Lise Getoor
      Pages 322-323
    2. Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Eric Grégoire
      Pages 326-327
    3. Gordon S. Novak Jr.
      Pages 330-331
  8. Back Matter
    Pages 333-333

About these proceedings

Introduction

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26– 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d’Est´erel in Qu´ebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year’s symposium was actually scheduled to take place at Lago Vista Clubs & Resort on Lake Travis but, due to the resort’s failure to pay taxes, the conference had to be moved late in the day. This mischance engendered eleventh-hour reformulations, abstractions, and resource re-allocations of its own. Such are the perils of organizing a conference. This is the ?rst SARA for which the proceedings have been published in the LNAI series of Springer-Verlag. We hope that this is a re?ection of the increased maturity of the ?eld and that the increased visibility brought by the publication of this volume will help the discipline grow even further. Abstractions, reformulations, and approximations (AR&A) have found - plications in a variety of disciplines and problems including automatic progr- ming, constraint satisfaction, design, diagnosis, machine learning, planning, qu- itative reasoning, scheduling, resource allocation, and theorem proving. The - pers in this volume capture a cross-section of these application domains.

Keywords

Automat Constraint Satisfaction learning logic programming proving theorem proving

Editors and affiliations

  • Berthe Y. Choueiry
    • 1
  • Toby Walsh
    • 2
  1. 1.Department of Computer Science and EngineeringUniversity of Nebraska - LincolnLincoln
  2. 2.Department of Computer ScienceUniversity of YorkHeslingtonUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44914-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67839-7
  • Online ISBN 978-3-540-44914-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site