1. Autoepistemic circumscription and logic programming

   • Li Yan Yuan
   • Jia-Huai You

   OriginalPaper Pages: 143 - 160

2. Automated reasoning in differential geometry and mechanics using the characteristic set method

   • Shang-Ching Chou
   • Xiao-Shan Gao

   OriginalPaper Pages: 161 - 172

3. Automated reasoning in differential geometry and mechanics using the characteristic set method

   • Shang-Ching Chou
   • Xiao-Shan Gao

   OriginalPaper Pages: 173 - 189

4. A semantical framework for supporting subjective and conditional probabilities in deductive databases

   • Raymond Ng
   • V. S. Subrahmanian

   OriginalPaper Pages: 191 - 235

5. First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment

   • Marek A. Suchenek

   OriginalPaper Pages: 237 - 263

6. Gentzen-type systems, resolution and tableaux

   • Arnon Avron

   OriginalPaper Pages: 265 - 281

7. The problem of selecting an approach based on prior success

   • Larry Wos

   Basic Research Problems Pages: 283 - 284

8. Book review

   • Charles Ashbacher

   BookReview Pages: 285 - 286