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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • Copyright Information Springer-Verlag 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