1. About the Authors

   Biography Pages: 151 - 152

2. Algorithms for Testing Satisfiability Formulas

   • Marin Vlada

   OriginalPaper Pages: 153 - 163

3. On Chaos and Neural Networks: The Backpropagation Paradigm

   • K. Bertels
   • L. Neuberg
   • D.G. Pechanek

   OriginalPaper Pages: 165 - 187

4. Reified Temporal Logics: An Overview

   • J. Ma
   • B. Knight

   OriginalPaper Pages: 189 - 217

5. Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations

   • Kwang Mong Sim

   OriginalPaper Pages: 219 - 240