Skip to main content
SpringerLink
Log in

9th International Conference on Automated Deduction

Argonne, Illinois, USA, May 23-26, 1988. Proceedings

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. Ewing Lusk
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ross Overbeek
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 310)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (73 papers)

  1. Front Matter

    Download chapter PDF

  2. First-order theorem proving using conditional rewrite rules

    • Hantao Zhang, Deepak Kapur
    Pages 1-20

  3. Elements of Z-module reasoning

    • Tie Cheng Wang
    Pages 21-40

  4. Learning and applying generalised solutions using higher order resolution

    • M. R. Donat, L. A. Wallen
    Pages 41-60

  5. Specifying theorem provers in a higher-order logic programming language

    • Amy Felty, Dale Miller
    Pages 61-80

  6. Query processing in quantitative logic programming

    • V. S. Subrahmanian
    Pages 81-100

  7. An environment for automated reasoning about partial functions

    • David A. Basin
    Pages 101-110

  8. The use of explicit plans to guide inductive proofs

    • Alan Bundy
    Pages 111-120

  9. Logicalc: An environment for interactive proof development

    • D. Duchier, D. McDermott
    Pages 121-130

  10. Implementing verification strategies in the KIV-system

    • M. Heisel, W. Reif, W. Stephan
    Pages 131-140

  11. Checking natural language proofs

    • Donald Simon
    Pages 141-150

  12. Consistency of rule-based expert systems

    • Marc Bezem
    Pages 151-161

  13. A mechanizable induction principle for equational specifications

    • Hantao Zhang, Deepak Kapur, Mukkai S. Krishnamoorthy
    Pages 162-181

  14. Finding canonical rewriting systems equivalent to a finite set of ground equations in polynomial time

    • Jean Gallier, Paliath Narendran, David Plaisted, Stan Raatz, Wayne Snyder
    Pages 182-196

  15. Towards efficient "knowledge-based" automated theorem proving for non-standard logics

    • Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
    Pages 197-217

  16. Propositional temporal interval logic is PSPACE complete

    • A. A. Aaby, K. T. Narayana
    Pages 218-237

  17. Computational metatheory in Nuprl

    • Douglas J. Howe
    Pages 238-257

  18. Type inference in Prolog

    • H. Azzoune
    Pages 258-277

  19. Procedural interpretation of non-horn logic programs

    • Jack Minker, Arcot Rajasekar
    Pages 278-293

  20. Recursive query answering with non-horn clauses

    • Shan Chi, Lawrence J. Henschen
    Pages 294-312
Back to top

Keywords

About this book

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.

Bibliographic Information

  • Book Title: 9th International Conference on Automated Deduction

  • Book Subtitle: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

  • Editors: Ewing Lusk, Ross Overbeek

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0012819

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-19343-2Published: 04 May 1988

  • eBook ISBN: 978-3-540-39216-3Published: 23 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 776

  • Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation