1. Editor's preface

   • J.H.F.

   EditorialNotes Pages: iii - iii

2. Virtual Symposium on Virtual Mind

   • Patrick Hayes
   • Stevan Harnad
   • Ned Block

   Critical Exchange Pages: 217 - 238

3. The role of memory and concepts in learning

   • Susan L. Epstein

   General Articles Pages: 239 - 265

4. Problem representation for refinement

   • H. Altay Guvenir
   • Varol Akman

   General Articles Pages: 267 - 282

5. Deductive program verification (a practitioner's commentary)

   • David A. Nelson

   General Articles Pages: 283 - 307

6. Book reviews

   • Valerie Shafer
   • Alexander Nakhimovsky
   • Mary Galbraith

   BookReview Pages: 309 - 321

7. AISB'93 Conference: Announcement and call for papers

   Announcement Pages: 323 - 323