1. The kernel strategy and its use for the study of combinatory logic

   • Larry Wos

   OriginalPaper Pages: 287 - 343

2. Interpreting disjunctive logic programs based on a strong sense of disjunction

   • James J. Lu
   • Monica D. Barback
   • Lawrence J. Henschen

   OriginalPaper Pages: 345 - 370

3. Completeness issues in RUE-NRF deduction: The undecidability of viability

   • James J. Lu
   • V. S. Subrahmanian

   OriginalPaper Pages: 371 - 388

4. Simplification orderings: Putting them to the test

   • Joachim Steinbach

   OriginalPaper Pages: 389 - 397

5. Dualities between alternative semantics for logic programming and nonmonotonic reasoning

   • Chitta R. Baral
   • V. S. Subrahmanian

   OriginalPaper Pages: 399 - 420

6. The problem of reasoning by analogy

   • Larry Wos

   Basic Research Problems Pages: 421 - 422

7. Announcement

   Announcement Pages: 423 - 423