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


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.


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

Bibliographic information

  • Book Title 10th International Conference on Automated Deduction
  • Book Subtitle Kaiserslautern, FRG, July 24–27, 1990 Proceedings
  • Editors Mark E. Stickel
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-52885-2
  • eBook ISBN 978-3-540-47171-4
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XVIII, 690
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Mathematical Logic and Formal Languages
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences