1. The dawn of new information world through knowledge processing

   • Hidehiko Tanaka

   Preface Pages: 1 - 2

2. Compiling a default reasoning system into Prolog

   • David Poole

   Regular Papers Pages: 3 - 38

3. Logic-based processing of semantically complex natural language discourse

   • John Dinsmore

   Regular Papers Pages: 39 - 68

4. Strict completion of Logic Programs

   • Wlodzimierz Drabent
   • Maurizio Martelli

   Regular Papers Pages: 69 - 79

5. The principle of Selecten Jumping Searching andC,C ₀ ^′ ,C ^* algorithms

   • Q. S. Gao
   • L. H. Li

   Regular Papers Pages: 81 - 104

6. List of referees

   Announcement Pages: 105 - 106