Advertisement

Automated Reasoning

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

  • Ulrich Furbach
  • Natarajan Shankar

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
  7. Session 5. Proof Theory

    1. Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase
      Pages 220-234
    2. Viorica Sofronie-Stokkermans
      Pages 235-250
    3. Anna Zamansky, Arnon Avron
      Pages 251-265
    4. Bernhard Beckert, André Platzer
      Pages 266-280
  8. Session 6. System Description 2

    1. Jürgen Giesl, Peter Schneider-Kamp, René Thiemann
      Pages 281-286
    2. Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
      Pages 287-291
    3. Dmitry Tsarkov, Ian Horrocks
      Pages 292-297
    4. Steven Obua, Sebastian Skalberg
      Pages 298-302
  9. Session 7. Search

  10. Session 8. Proof Theory

  11. Session 9. Proof Checking

  12. Session 10. Combination

    1. Shuvendu K. Lahiri, Madanlal Musuvathi
      Pages 468-482
    2. Olga Grinchtein, Martin Leucker, Nir Piterman
      Pages 483-497
    3. Christian Urban, Stefan Berghofer
      Pages 498-512
  13. Session 11. Decision Procedures

    1. Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
      Pages 513-527
    2. Stéphane Demri, Denis Lugiez
      Pages 541-556
    3. Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
      Pages 557-571
  14. Session 12. CASC-J3

    1. Geoff Sutcliffe
      Pages 572-573
  15. Session 13. Rewriting

    1. Jörg Endrullis, Johannes Waldmann, Hans Zantema
      Pages 574-588
    2. Alexander Krauss
      Pages 589-603

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/11814771
  • 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
  • Buy this book on publisher's site