Automated Deduction—CADE-18

18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

  • Andrei Voronkov
Conference proceedings CADE 2002

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Description Logics and Semantic Web

    1. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
      Pages 16-30
  3. Proof-Carrying Code and Compiler Verification

    1. Andrew Bernard, Peter Lee
      Pages 31-46
    2. Robert R. Schneck, George C. Necula
      Pages 47-62
  4. Non-classical Logics

  5. System Descriptions

    1. Jörg Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke et al.
      Pages 144-149
    2. Mateja Jamnik, Manfred Kerber, Martin Pollet
      Pages 150-155
    3. Carlos Areces, Juan Heguiabehere
      Pages 156-160
  6. SAT

    1. Thierry Boy de la Tour
      Pages 181-194
    2. Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Korniłowicz, Roberto Sebastiani
      Pages 195-210
  7. Model Generation

  8. Session 7

    1. Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
      Pages 260-274
  9. CASC

    1. Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobald, Dalibor Topić
      Pages 275-279
    2. Stephan Schulz, Geoff Sutcliffe
      Pages 280-284
    3. Simon Colton
      Pages 285-289
  10. CADE-CAV Invited Talk

    1. Lintao Zhang, Sharad Malik
      Pages 295-313
  11. Session 9

    1. Cristina Borralleras, Salvador Lucas, Albert Rubio
      Pages 314-331
  12. Combination of Decision Procedures

    1. Harald Ganzinger
      Pages 332-346
    2. Jonathan Ford, Natarajan Shankar
      Pages 347-362
    3. Calogero G. Zarba
      Pages 363-376
  13. Logical Frameworks

  14. Model Checking

    1. Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi
      Pages 423-437
    2. Leonardo de Moura, Harald Rueß, Maria Sorea
      Pages 438-455
  15. Equational Reasoning

    1. Christopher Lynch, Barbara Morawska
      Pages 471-485
    2. Thomas Hillenbrand, Bernd Löchner
      Pages 486-500
  16. Proof Theory

    1. Matthias Baaz
      Pages 517-531
  17. Back Matter
    Pages 533-534

About these proceedings


The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ¨ Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson.


Automat automated deduction compiler description logics proof theory semantic web verification

Editors and affiliations

  • Andrei Voronkov
    • 1
  1. 1.Department of Computer ScienceUniversity of ManchesterManchesterUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43931-8
  • Online ISBN 978-3-540-45620-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site