Skip to main content
SpringerLink
Log in

Automated Reasoning

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. David Basin

    1. Information Security Group, Dep. of Computer Science, ETH, Zurich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michaël Rusinowitch

    1. LORIA & INRIA Lorraine UMR 7503,  

    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 3097)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: IJCAR 2004.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (36 papers)

  1. Front Matter

    Download chapter PDF

  2. Rewriting

    1. Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools

      • José Meseguer, Grigore Roşu
      Pages 1-44

    2. A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting

      • Bernd Löchner
      Pages 45-59

    3. Efficient Checking of Term Ordering Constraints

      • Alexandre Riazanov, Andrei Voronkov
      Pages 60-74

    4. Improved Modular Termination Proofs Using Dependency Pairs

      • René Thiemann, Jürgen Giesl, Peter Schneider-Kamp
      Pages 75-90

    5. Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure

      • Guillem Godoy, Ashish Tiwari
      Pages 91-106

  3. Saturation-Based Theorem Proving

    1. Redundancy Notions for Paramodulation with Non-monotonic Orderings

      • Miquel Bofill, Albert Rubio
      Pages 107-121

    2. A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards

      • Yevgeny Kazakov, Hans de Nivelle
      Pages 122-136

    3. Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures

      • Graham Steel, Alan Bundy, Monika Maidl
      Pages 137-151

  4. Combination Techniques

    1. Decision Procedures for Recursive Data Structures with Integer Constraints

      • Ting Zhang, Henny B. Sipma, Zohar Manna
      Pages 152-167

    2. Modular Proof Systems for Partial Functions with Weak Equality

      • Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
      Pages 168-182

    3. A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics

      • Franz Baader, Silvio Ghilardi, Cesare Tinelli
      Pages 183-197

  5. Verification and Systems

    1. Using Automated Theorem Provers to Certify Auto-generated Aerospace Software

      • Ewen Denney, Bernd Fischer, Johann Schumann
      Pages 198-212

    2. argo-lib: A Generic Platform for Decision Procedures

      • Filip Marić, Predrag Janičić
      Pages 213-217

    3. The ICS Decision Procedures for Embedded Deduction

      • Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar
      Pages 218-222

    4. System Description: E 0.81

      • Stephan Schulz
      Pages 223-228

  6. Reasoning with Finite Structure

    1. Second-Order Logic over Finite Structures – Report on a Research Programme

      • Georg Gottlob
      Pages 229-243

    2. Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains

      • Ángel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini
      Pages 244-258

  7. Tableaux and Non-classical Logics

    1. PDL with Negation of Atomic Programs

      • Carsten Lutz, Dirk Walther
      Pages 259-273

    2. Counter-Model Search in Gödel-Dummett Logics

      • Dominique Larchey-Wendling
      Pages 274-288
Back to top

Other volumes

  1. Automated Reasoning

Keywords

About this book

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.

Editors and Affiliations

  • Information Security Group, Dep. of Computer Science, ETH, Zurich, Switzerland

    David Basin

  • LORIA & INRIA Lorraine UMR 7503,  

    Michaël Rusinowitch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation