1. Permeation of knowledge information processing systems

   • Hidehiko Tanaka

   Preface Pages: 1 - 3

2. The Prolog not-predicate and negation as failure rule

   • Tok Wang Ling

   Regular Papers Pages: 5 - 31

3. An epistemic model of logic programming

   • Y. J. Jiang

   Regular Papers Pages: 33 - 59

4. How to control unfolding when specializing interpreters

   • Arun Lakhotia
   • Leon Sterling

   Regular Papers Pages: 61 - 70

5. Updating knowledge bases

   • A. Guessoum
   • J. W. Lloyd

   Regular Papers Pages: 71 - 89