Advertisement

Automated Deduction in Classical and Non-Classical Logics

Selected Papers

  • Ricardo Caferra
  • Gernot Salzer
Conference proceedings FTP 1998

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1761)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Invited Papers

  3. Contributed Papers

    1. Thierry Boy de la Tour
      Pages 95-108
    2. Domenico Cantone, Marianna Nicolosi Asmundo
      Pages 109-125
    3. Christian G. Fermüller
      Pages 167-174
    4. Andrea Formisano, Eugenio Omodeo
      Pages 175-190
    5. Ullrich Hustadt, Renate A. Schmidt
      Pages 191-205
    6. Grigore Roşu, Joseph Goguen
      Pages 251-266
    7. Viorica Sofronie-Stokkermans
      Pages 267-281
  4. Back Matter
    Pages 299-299

About these proceedings

Keywords

Classical Logic Modal Logics Nonclassical Logics Resolution Tableaux-Based Inference Theorem Proving Variable automated deduction automated theorem proving complexity description logics logic proving

Editors and affiliations

  • Ricardo Caferra
    • 1
  • Gernot Salzer
    • 2
  1. 1.Leibniz-IMAGGrenoble cedexFrance
  2. 2.Technical University of ViennaViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46508-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67190-9
  • Online ISBN 978-3-540-46508-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site