1. General Temporal Knowledge for Planning and Data Mining

   • Robert Morris
   • Lina Khatib

   OriginalPaper Pages: 1 - 19

2. An Average Analysis of Backtracking on Random Constraint Satisfaction Problems

   • Ke Xu
   • Wei Li

   OriginalPaper Pages: 21 - 37

3. A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics

   • Enrico Giunchiglia
   • Armando Tacchella

   OriginalPaper Pages: 39 - 67

4. Easy Cases of Probabilistic Satisfiability

   • Kim Allan Andersen
   • Daniele Pretolani

   OriginalPaper Pages: 69 - 91

5. An Algebraic Model for Generating and Adapting Neural Networks by Means of Optimization Methods

   • Dolores Barrios
   • Daniel Manrique
   • Juan Ríos

   OriginalPaper Pages: 93 - 111

6. Volume Contents

   Volume Contents Pages: 113 - 115