Advertisement

Automated Deduction – CADE-19

19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

  • Franz Baader
Conference proceedings CADE 2003

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

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

Table of contents

  1. Front Matter
  2. Session 1: Invited Talk

  3. Session 2

    1. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
      Pages 2-16
    2. Jürgen Giesl, Deepak Kapur
      Pages 17-31
    3. Nao Hirokawa, Aart Middeldorp
      Pages 32-46
    4. Konstantin Korovin, Andrei Voronkov
      Pages 47-59
  4. Session 3

    1. Carsten Lutz, Ulrike Sattler, Lidia Tendera
      Pages 60-74
    2. Guoqiang Pan, Moshe Y. Vardi
      Pages 75-89
  5. Session 4

    1. Karl Crary, Susmit Sarkar
      Pages 106-120
    2. Farhad Mehta, Tobias Nipkow
      Pages 121-135
    3. Dimitri Hendriks, Vincent van Oostrom
      Pages 136-150
    4. Aaron Stump
      Pages 151-165
  6. Session 5

  7. Session 6

    1. Harald Ganzinger, Thomas Hillenbrand, Uwe Waldmann
      Pages 182-196
    2. Sava Krstić, Sylvain Conchon
      Pages 197-211
    3. Christophe Ringeissen
      Pages 212-227
  8. Session 7

    1. Johan Gijsbertus Frederik Belinfante
      Pages 228-242
    2. Panagiotis Manolios, Daron Vroon
      Pages 243-257
    3. Arjeh Cohen, Scott H. Murray, Martin Pollet, Volker Sorge
      Pages 258-273
  9. Session 8: System Descriptions

    1. Ullrich Hustadt, Boris Konev
      Pages 274-278
    2. Lucas Dixon, Jacques Fleuriot
      Pages 279-283
    3. Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Alex Sinner
      Pages 284-288
    4. Simon Colton, Sophie Huczynska
      Pages 289-294
  10. Session 9: CASC-19 Results

    1. Geoff Sutcliffe, Christian Suttner
      Pages 295-296
  11. Session 10: Invited Talk

    1. Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen
      Pages 297-316
  12. Session 11: System Descriptions

    1. Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies
      Pages 317-321
    2. Christoph Walther, Stephan Schweitzer
      Pages 322-327
    3. Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth
      Pages 328-333
  13. Session 12: Invited Talk

  14. Session 13

    1. Peter Baumgartner, Cesare Tinelli
      Pages 350-364
    2. Alexandre Riazanov, Andrei Voronkov
      Pages 380-396
  15. Session 14

    1. Anatoly Degtyarev, Michael Fisher, Boris Konev
      Pages 397-411
  16. Session 15

    1. Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
      Pages 442-457
    2. Venkatesh Choppella, Christopher T. Haynes
      Pages 458-472
    3. Brigitte Pientka, Frank Pfenning
      Pages 473-487
    4. Manfred Schmidt-Schauß
      Pages 488-502
  17. Back Matter

About these proceedings

Introduction

This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July–2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: – 4 contributions by invited speakers: one full paper and three short abstracts; – 29 accepted technical papers; – 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops covering di?- entaspectsofautomateddeduction,CADEisstillthemajorforumfordiscussing new results on all aspects of automated deduction as well as presenting new s- tems and improvements of established systems. In contrast to the previous year, when CADE was one of the conferences participating in the Third Federated Logic Conference (FLoC 2002), and next year, when CADE will be part of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), CADE-19 was organized as a stand-alone event.

Keywords

Erfüllbarkeitsproblem der Aussagenlogik Evolution algorithms automata automated code verification automated deduction automated reasoning complexity description logics formal verification meta theory model checking resolution type theory unification

Editors and affiliations

  • Franz Baader
    • 1
  1. 1.Theoretical Computer ScienceTU DresdenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b11829
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40559-7
  • Online ISBN 978-3-540-45085-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site