Annals of Mathematics and Artificial Intelligence, Volume 33

Volume 33, Number 1, September 2001

• Robert Morris, Lina Khatib: General Temporal Knowledge for Planning and Data Mining. 1-19 BibTeX
• Ke Xu, Wei Li: An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. 21-37 BibTeX
• Enrico Giunchiglia, Armando Tacchella: A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. 39-67 BibTeX
• Kim Allan Andersen, Daniele Pretolani: Easy Cases of Probabilistic Satisfiability. 69-91 BibTeX
• Dolores Barrios, Daniel Manrique, M. Rosario Plaza, Juan Rios: An Algebraic Model for Generating and Adapting Neural Networks by Means of Optimization Methods. 93-111 BibTeX

Volume 33, Numbers 2-4, December 2001

• Joachim Biskup, Torsten Polle: Decomposition of object-oriented database schemas. 119-155 BibTeX
• Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos: Maximal state independent approximations to minimal real change. 157-204 BibTeX
• Thomas Eiter, Thomas Lukasiewicz, Michael Walter: A data model and algebra for probabilistic complex values. 205-252 BibTeX
• Sven Hartmann: On the implication problem for cardinality constraints and functional dependencies. 253-307 BibTeX
• Alexander Leontjev, Vladimir Yu. Sazonov: D: Set-theoretic query language capturing LOGSPACE. 309-345 BibTeX
• Dietmar Seipel: Using clausal deductive databases for defining semantics in disjunctive deductive databases. 347-378 BibTeX
• Jose Maria Turull Torres: A study of homogeneity in relational databases. 379-414 BibTeX