1. Introduction

   • Jorge Lobo
   • Arcot Rajasekar

   EditorialNotes Pages: I - I

2. Jack Minker — A profile

   • Jorge Lobo
   • Arcot Rajasekar

   OriginalPaper Pages: 135 - 149

3. Dynamic maintenance of the transitive closure in disjunctive graphs

   • Jorge Lobo
   • Qi Yang
   • Tracy Pham

   OriginalPaper Pages: 151 - 176

4. Term matching on a mesh-connected array of processors

   • Arthur L. Delcher
   • Simon Kasif

   OriginalPaper Pages: 177 - 186

5. Nonrecursive incremental evaluation of Datalog queries

   • Guozhu Dong
   • Jianwen Su
   • Rodney Topor

   OriginalPaper Pages: 187 - 223

6. Near-Horn Prolog and the ancestry family of procedures

   • David W. Reed
   • Donald W. Loveland

   OriginalPaper Pages: 225 - 249

7. Reasoning about time in the situation calculus

   • Javier Pinto
   • Raymond Reiter

   OriginalPaper Pages: 251 - 268

8. ECWA made easy

   • Vladimir Lifschitz

   OriginalPaper Pages: 269 - 274

9. DWAM — A WAM model extension for disjunctive logic programming

   • A. Rajasekar
   • H. Yusuf

   OriginalPaper Pages: 275 - 308

10. Consciousness and complexity: The cognitive quest

    • Donald Perlis

    OriginalPaper Pages: 309 - 321

11. Static semantics for normal and disjunctive logic programs

    • Teodor C. Przymusinski

    OriginalPaper Pages: 323 - 357