Advertisement

Abstraction, Reformulation, and Approximation

7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

  • Editors
  • Ian Miguel
  • Wheeler Ruml
Conference proceedings SARA 2007

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

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

Table of contents

  1. Front Matter
  2. Invited Talks (Abstracts)

  3. Research Papers

    1. Montserrat Abril, Miguel A. Salido, Federico Barber
      Pages 5-19
    2. Kenneth Anderson, Robert Holte, Jonathan Schaeffer
      Pages 20-34
    3. Scot Anderson, Peter Revesz
      Pages 35-49
    4. Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
      Pages 64-79
    5. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh
      Pages 80-92
    6. Dominique D’Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Saïs
      Pages 93-108
    7. Stijn De Saeger, Atsushi Shimojima
      Pages 124-138
    8. Alexander Feldman, Gregory Provan, Arjan van Gemund
      Pages 139-154
    9. Peter Gregory, Derek Long, Maria Fox
      Pages 200-214
    10. Timothy L. Hinrichs, Michael R. Genesereth
      Pages 215-229
    11. Nicholas K. Jong, Peter Stone
      Pages 258-272
    12. Santiago Macho González, Pedro Meseguer
      Pages 285-299
    13. Lorenza Saitta, Pietro Torasso, Gianluca Torta
      Pages 314-328
    14. Peter Schachte, Harald Søndergaard
      Pages 329-343
    15. Nathan Sturtevant, Renee Jansen
      Pages 344-358
    16. Lorenza Saitta, Jean-Daniel Zucker
      Pages 375-390
  4. Research Summaries

    1. Russ Abbott
      Pages 391-392
    2. J. Christopher Beck, Michael Gruninger
      Pages 393-394
    3. Hadrien Cambazard, Barry O’Sullivan
      Pages 395-396
    4. Broderick Crawford, Carlos Castro, Eric Monfroy
      Pages 397-398
    5. David C. Haley
      Pages 399-399
    6. Timothy L. Hinrichs
      Pages 400-401
    7. Martin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry
      Pages 402-404
    8. Xuan-Ha Vu, Barry O’Sullivan
      Pages 411-412
    9. Fan Yang, Joseph Culberson, Robert Holte
      Pages 413-414
  5. Back Matter

About these proceedings

Keywords

Automat automated reasoning learning machine learning modeling problem solving programming proving theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73580-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73579-3
  • Online ISBN 978-3-540-73580-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site