Volume 40, Issue 2-3

March 2008

Selected Papers from the 3rd International Joint Conference on Automated Reasoning

Issue Editor:

7 articles in this issue

IJCAR Preface
Ulrich Furbach
OriginalPaper 13 December 2007 Pages: 87 - 88
A Resolution-Based Decision Procedure for \(\boldsymbol{\mathcal{SHOIQ}}\)
Yevgeny Kazakov
Boris Motik
OriginalPaper 04 January 2008 Pages: 89 - 116
On Keys and Functional Dependencies as First-Class Citizens in Description Logics
David Toman
Grant Weddell
OriginalPaper 25 December 2007 Pages: 117 - 132
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Kaustuv Chaudhuri
Frank Pfenning
Greg Price
OriginalPaper 24 January 2008 Pages: 133 - 177
Connection Tableaux with Lazy Paramodulation
Andrei Paskevich
OriginalPaper 11 December 2007 Pages: 179 - 194
Matrix Interpretations for Proving Termination of Term Rewriting
Jörg Endrullis
Johannes Waldmann
Hans Zantema
OriginalPaper 11 December 2007 Pages: 195 - 220
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge
Andreas Meier
Simon Colton
OriginalPaper 11 December 2007 Pages: 221 - 243

Search