Advertisement

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
  17. Paliath Narendran, Friedrich Otto
    Pages 276-291
  18. Frank Pfenning, Dan Nesmith
    Pages 336-350
  19. Ursula Martin, Tobias Nipkow
    Pages 366-380
  20. Gerald E Peterson
    Pages 381-395
  21. Franz Baader
    Pages 396-410
  22. Joachim Steinbach
    Pages 411-425
  23. W. Bibel
    Pages 426-426
  24. Leo Bachmair, Harald Ganzinger
    Pages 427-441
  25. Dan Benanav
    Pages 442-455
  26. Yusuf Ozturk, Lawrence Henschen
    Pages 456-469
  27. Christian Suttner, Wolfgang Ertel
    Pages 470-484
  28. L. Wos, S. Winker, W. McCune, R. Overbeek, E. Lusk, R. Stevens et al.
    Pages 485-499
  29. James A. Altucher, Prakash Panangaden
    Pages 500-513
  30. Peter Jackson, John Pais
    Pages 543-557
  31. Thierry Boy de la Tour
    Pages 558-572
  32. Wayne Snyder
    Pages 573-587
  33. Werner Nutt
    Pages 618-632
  34. Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning
    Pages 641-642
  35. Frank M. Brown, Carlos Araya
    Pages 643-644
  36. Frank M. Brown, Carlos Araya
    Pages 645-646
  37. Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill
    Pages 647-648

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 Berlin Heidelberg 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
  • Buy this book on publisher's site