Automated Reasoning

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

  • David Basin
  • Michaël Rusinowitch

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

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

Table of contents

  1. Front Matter
  2. Rewriting

  3. Saturation-Based Theorem Proving

  4. Combination Techniques

    1. Ting Zhang, Henny B. Sipma, Zohar Manna
      Pages 152-167
    2. Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
      Pages 168-182
  5. Verification and Systems

    1. Ewen Denney, Bernd Fischer, Johann Schumann
      Pages 198-212
    2. Filip Marić, Predrag Janičić
      Pages 213-217
    3. Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar
      Pages 218-222
    4. Stephan Schulz
      Pages 223-228
  6. Reasoning with Finite Structure

  7. Tableaux and Non-classical Logics

    1. Carsten Lutz, Dirk Walther
      Pages 259-273
    2. Dominique Larchey-Wendling
      Pages 274-288

About these proceedings

Introduction

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi?erentresearchcommunitieswo- ing in automated reasoning. The current IJCAR is the fusion of the following conferences: CADE: The International Conference on Automated Deduction, CALCULEMUS: Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, FroCoS: Workshop on Frontiers of Combining Systems, FTP: The International Workshop on First-Order Theorem Proving, and TABLEAUX: The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. There were 74 research papers submitted to IJCAR as well as 12 system descriptions. After extensive reviewing, 26 research papers and 6 system - scriptions were accepted for presentation at the conference and publication in this volume. In addition, this volume also contains papers from the three invited speakers and a description of the CADE ATP system competition. We would like to acknowledge the enormous amount of work put in by the members of the program committee, the various organizing and steering c- mittees, the IJCAR o?cials, the invited speakers, and the additional referees named on the following pages. We would also like to thank Achim Brucker and Barbara Geiser for their help in producing this volume.

Keywords

Automat automated deduction automated reasoning formal logic interactive theorem proving logical inference mathematical logic mechanized reasoning nonclassical logics nonmonotonic reasoning proof theory proving tableaux methods theorem proving verification

Editors and affiliations

  • David Basin
    • 1
  • Michaël Rusinowitch
    • 2
  1. 1.Information Security Group, Dep. of Computer ScienceETHZurichSwitzerland
  2. 2.LORIA & INRIA Lorraine UMR 7503 

Bibliographic information

  • DOI https://doi.org/10.1007/b98691
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22345-0
  • Online ISBN 978-3-540-25984-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book