Table of contents

  1. Front Matter
  2. Richmond H. Thomason
    Pages 29-41
  3. Clemens Ballarin, Lawrence C. Paulson
    Pages 55-66
  4. Belaid Benhamou, Laurent Henocque
    Pages 84-93
  5. P. G. Bertoli, J. Calmet, F. Giunchiglia, K. Homann
    Pages 94-106
  6. Martin Damsbo, Peder Thusgaard Ruhoff
    Pages 120-131
  7. L. M. Laita, E. Roanes-Lozano, V. Maojo
    Pages 183-194
  8. Christopher Lynch, Christelle Scharff
    Pages 209-221
  9. Eric Monfroy, Christophe Ringeissen
    Pages 222-233
  10. Ian Horrocks, Peter F. Patel-Schneider
    Pages 234-246
  11. J. Rafael Sendra, Franz Winkler
    Pages 284-295

About these proceedings


This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.
The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.


Extension Variable algorithms artificial intelligence evolution evolutionary algorithm formal verification knowledge knowledge discovery programming proof theory proving verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64960-1
  • Online ISBN 978-3-540-49816-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site