Table of contents

  1. Front Matter
  2. Robert S. Boyer, J Strother Moore
    Pages 1-15
  3. Xumin Nie, David A. Plaisted
    Pages 16-27
  4. John K. Slaney, Ewing L. Lusk
    Pages 28-39
  5. J. Schumann, R. Letz
    Pages 40-56
  6. Sang Ho Lee, Lawrence J. Henschen
    Pages 57-71
  7. Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian
    Pages 72-86
  8. Toshiro Wakayama, T. H. Payne
    Pages 87-101
  9. Chitta Baral, Jorge Lobo, Jack Minker
    Pages 102-116
  10. M. Heisel, W. Reif, W. Stephan
    Pages 117-131
  11. Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland
    Pages 132-146
  12. Dieter Hutter
    Pages 147-161
  13. Uday S. Reddy
    Pages 162-177
  14. Hans-Jürgen Bürckert
    Pages 178-192
  15. Shang-Ching Chou, Xiao-Shan Gao
    Pages 207-220
  16. Daniel J. Dougherty, Patricia Johann
    Pages 261-275

About these proceedings

Introduction

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.

Keywords

Artificial intelligence Automat Resolution automated deduction intelligence logic programming proving theorem proving verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-52885-7
  • Copyright Information Springer-Verlag 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52885-2
  • Online ISBN 978-3-540-47171-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book