A New Probabilistic Induction Method Rong-Huei HouTzung-Pei HongSy-Yen Kuo OriginalPaper Pages: 5 - 24
A Correct Logic Programming Computation of Default Logic Extensions Grigoris AntoniouElmar Langetepe OriginalPaper Pages: 25 - 46
Fast Subsumption Checks Using Anti-Links Anavai RameshBernhard BeckertNeil V. Murray OriginalPaper Pages: 47 - 83
Partial Functions in a Total Setting Simon FinnMichael P. FourmanJohn Longley OriginalPaper Pages: 85 - 104
Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving Li Dafa OriginalPaper Pages: 105 - 134
An Erratum for Some Errata to ATP Problems FRANCIS JEFFRY PELLETIERGEOFF SUTCLIFFE OriginalPaper Pages: 135 - 135