General Temporal Knowledge for Planning and Data Mining Robert MorrisLina Khatib OriginalPaper Pages: 1 - 19
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems Ke XuWei Li OriginalPaper Pages: 21 - 37
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics Enrico GiunchigliaArmando Tacchella OriginalPaper Pages: 39 - 67
Easy Cases of Probabilistic Satisfiability Kim Allan AndersenDaniele Pretolani OriginalPaper Pages: 69 - 91
An Algebraic Model for Generating and Adapting Neural Networks by Means of Optimization Methods Dolores BarriosDaniel ManriqueJuan RĂos OriginalPaper Pages: 93 - 111