Table of contents

  1. Front Matter
  2. Shang -Ching Chou, Xiao -Shan Gao
    Pages 20-34
  3. Tobias Nipkow, Zhenyu Qian
    Pages 66-78
  4. Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
    Pages 94-108
  5. Katherine A. Yelick, Stephen J. Garland
    Pages 109-123
  6. David McAllester
    Pages 124-138
  7. Adam Cichon, Pierre Lescanne
    Pages 139-147
  8. Leonidas Fegaras, Tim Sheard, David Stemple
    Pages 148-162
  9. Tomás E. Uribe
    Pages 163-177
  10. Alan M. Frisch, Anthony G. Cohn
    Pages 178-192
  11. Raymond M. Smullyan
    Pages 208-208
  12. William McCune, Larry Wos
    Pages 209-223
  13. Owen L. Astrachan, Mark E. Stickel
    Pages 224-238
  14. Vincent J. Digricoli, Eugene Kochendorfer
    Pages 239-252

About these proceedings


This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theoremprovers; unification theory; constraint solving; logic programing; verification; multivalued, temporal and nonclassical logics; non-monotonic reasoning; planning; proof theory; higher-order logics; and inductive theorem proving. Each submission was reviewed by at least three program committee members and 46 papers were selected for presentation and publication. This volume also contains short descriptions of 23 implementations of automated deduction systems. The volume opens with a keynote address by Larry Wos, winner of the first Herbrand Award for Distinguished Contributions to Automated Reasoning.


Automat Resolution automated deduction automated reasoning logic nonmonotonic reasoning proof theory proving theorem proving verification

Bibliographic information

  • Book Title Automated Deduction—CADE-11
  • Book Subtitle 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings
  • Editors Deepak Kapur
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-55602-2
  • eBook ISBN 978-3-540-47252-0
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XVI, 800
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Mathematical Logic and Formal Languages
    Mathematical Logic and Foundations
  • 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