Bounded Nondeterminism of Logic Programs Dino PedreschiSalvatore Ruggieri OriginalPaper Pages: 313 - 343
A Discrete-Time Quantized-State Hopfield Neural Network Carlos Bousoño-CalzónSancho Salcedo-Sanz OriginalPaper Pages: 345 - 367
A New Algebraic Tool for Automatic Theorem Provers P. CorderoG. GutiérrezI.P. de Guzmán OriginalPaper Pages: 369 - 398
On Stratified Belief Base Compilation Sylvie Coste-MarquisPierre Marquis OriginalPaper Pages: 399 - 442
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