Ausgabe 2-3/2008
Selected Papers from the 3rd International Joint Conference on Automated Reasoning
Inhalt (7 Artikel)
On Keys and Functional Dependencies as First-Class Citizens in Description Logics
David Toman, Grant Weddell
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Kaustuv Chaudhuri, Frank Pfenning, Greg Price
Matrix Interpretations for Proving Termination of Term Rewriting
Jörg Endrullis, Johannes Waldmann, Hans Zantema
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton