1. Critic Systems – Towards Human–Computer Collaborative Problem Solving

   • Huaglory Tianfield
   • Ruwen Wang

   OriginalPaper Pages: 271 - 295

2. Temporal Properties of Repetitive Entities

   • B. O. Akinkunmi
   • Adenike O. Osofisan

   OriginalPaper Pages: 297 - 338

3. Counting for Satisfiability by Inverting Resolution

   • Ştefan Andrei

   OriginalPaper Pages: 339 - 366

4. Instructions for Authors

   OriginalPaper Pages: 367 - 374

5. Index of Key Words to Volume 22

   OriginalPaper Pages: 375 - 375

6. Contents of Volume 22

   OriginalPaper Pages: 377 - 378