Reasoning with conditional axioms Emmanuel KounalisMichaƫl Rusinowitch OriginalPaper Pages: 125 - 149
Recursion theoretic models of learning: Some results and intuitions Carl H. SmithWilliam I. Gasarch OriginalPaper Pages: 151 - 166
On inductive inference of cyclic structures Michael J. MaherPeter J. Stuckey OriginalPaper Pages: 167 - 208
The expressiveness of locally stratified programs Howard A. BlairV. Wiktor MarekJohn S. Schlipf OriginalPaper Pages: 209 - 229
On the equivalence of upward and downward inheritance reasoners Krishnaprasad Thirunarayan OriginalPaper Pages: 239 - 256