1. Reasoning with conditional axioms

   • Emmanuel Kounalis
   • Michaël Rusinowitch

   OriginalPaper Pages: 125 - 149

2. Recursion theoretic models of learning: Some results and intuitions

   • Carl H. Smith
   • William I. Gasarch

   OriginalPaper Pages: 151 - 166

3. On inductive inference of cyclic structures

   • Michael J. Maher
   • Peter J. Stuckey

   OriginalPaper Pages: 167 - 208

4. The expressiveness of locally stratified programs

   • Howard A. Blair
   • V. Wiktor Marek
   • John S. Schlipf

   OriginalPaper Pages: 209 - 229

5. Proof of the interval satisfiability conjecture

   • Adam Brooks Webber

   OriginalPaper Pages: 231 - 238

6. On the equivalence of upward and downward inheritance reasoners

   • Krishnaprasad Thirunarayan

   OriginalPaper Pages: 239 - 256