1. Bounded Nondeterminism of Logic Programs

   • Dino Pedreschi
   • Salvatore Ruggieri

   OriginalPaper Pages: 313 - 343

2. Volume Contents

   Other Index Pages: 445 - 449

3. A Discrete-Time Quantized-State Hopfield Neural Network

   • Carlos Bousoño-Calzón
   • Sancho Salcedo-Sanz

   OriginalPaper Pages: 345 - 367

4. A New Algebraic Tool for Automatic Theorem Provers

   • P. Cordero
   • G. Gutiérrez
   • I.P. de Guzmán

   OriginalPaper Pages: 369 - 398

5. On Stratified Belief Base Compilation

   • Sylvie Coste-Marquis
   • Pierre Marquis

   OriginalPaper Pages: 399 - 442

6. Erratum for: A Study of Homogeneity in Relational Databases [Annals of Mathematics and Artificial Intelligence 33(2) (2001) 379–414]

   • José Maria Turull Torres

   Erratum Pages: 443 - 444