Automated Reasoning

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

  • Ulrich Furbach
  • Natarajan Shankar
Conference proceedings IJCAR 2006

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Session 1. Proofs

    1. Tobias Nipkow, Gertrud Bauer, Paula Schultz
      Pages 21-35
    2. Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton
      Pages 36-51
    3. Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder
      Pages 67-81
  4. Session 2. Search

    1. Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
      Pages 82-96
    2. Kaustuv Chaudhuri, Frank Pfenning, Greg Price
      Pages 97-111
    3. Andrei Paskevich
      Pages 112-124
    4. Peter Baumgartner, Renate A. Schmidt
      Pages 125-139
  5. Session 3. System Description 1

    1. Jürgen Zimmer, Serge Autexier
      Pages 140-144
    2. Predrag Janičić, Pedro Quaresma
      Pages 145-150
    3. Joe Hendrix, José Meseguer, Hitoshi Ohsaki
      Pages 151-155
  6. Session 4. Higher-Order Logic

    1. Robert Constable, Wojciech Moczydłowski
      Pages 162-176
    2. John Harrison
      Pages 177-191
    3. Sean McLaughlin
      Pages 192-204
    4. Chad E. Brown
      Pages 205-219

About these proceedings


This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. IJCAR 2006 is a merger of CADE, FroCoS, FTP, TABLEAUX, and TPHOLs.

The 41 revised full research papers and 8 revised system descriptions presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 152 submissions. The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.


AI logics Isabelle automata automated deduction automated reasoning formal logic formal proof higher-order logics mathematical logic mechanized reasoning ontology ontolologies semantic web semantics verification

Editors and affiliations

  • Ulrich Furbach
    • 1
  • Natarajan Shankar
    • 2
  1. 1.Department of Computer Science, Artificial Intelligence Research GroupUniversity of Koblenz-LandauKoblenz
  2. 2.SRI International, MS EL256,Menlo ParkUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-37187-8
  • Online ISBN 978-3-540-37188-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book