Advertisement

Table of contents

  1. Front Matter
  2. Andreas Podelski, Peter Van Roy
    Pages 11-38
  3. M. Anton Ertl, Andreas Krall
    Pages 51-66
  4. Patrice Boizumault, Yan Delon, Laurent Péridy
    Pages 85-101
  5. Eugene C. Freuder
    Pages 103-119
  6. Richard J. Wallace
    Pages 121-137
  7. Christian Bessière, Jean-Charles Régin
    Pages 157-169
  8. Patrick Prosser
    Pages 185-204
  9. Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco
    Pages 225-245
  10. Ágoston Eiben, Paul-Erik Raué, Zsófia Ruttkay
    Pages 267-283
  11. Back Matter

About these proceedings

Introduction

This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied Mathematics (St. Petersburg, Russia, July 1993) and the European Conference on Artificial Intelligence (Amsterdam, The Netherlands, August 1994).
This volume essentially contributes to integrating the different approaches to the young and very active field of constraint processing by offering papers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research, and other fields. Among contributions are two surveys, by Podelski and van Roy and by Freuder.

Keywords

Artificial intelligence European Conference on Artificial Intelligence expert system intelligence knowledge knowledge representation logic operations research programming

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-59479-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59479-6
  • Online ISBN 978-3-540-49281-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering