Annals of Mathematics and Artificial Intelligence, Volume 40

Volume 40, Number 1-2, January 2004

• Thomas Eiter, Klaus-Dieter Schewe: Preface. 1-3
• Leopoldo E. Bertossi, Camilla Schwind: Database Repairs and Analytic Tableaux. 5-35
• Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. 37-62
• Stephen J. Hegner: An Order-Based Theory of Updates for Closed Database Views. 63-125
• Gabriele Kern-Isberner: A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision. 127-164
• Krisztián Tichler: Extremal Theorems for Databases. 165-182

Volume 40, Numbers 3-4, March 2004

• Sergio A. Alvarez:
  A Theory of Frame Transformations for Belief Combination. 187-214
  
• Adam Cannon, Lenore Cowen:
  Approximation Algorithms for the Class Cover Problem. 215-224
  
• Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt:
  Locally Determined Logic Programs and Recursive Stable Models. 225-262
  
• Henning Fernau:
  Identifying Terminal Distinguishable Languages. 263-282
  
• Martin Henz, Roland H. C. Yap, Lim Yun Fong, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping:
  Solving Hierarchical Constraints over Finite Domains with Local Search. 283-302
  
• Oliver Kullmann:
  Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems. 303-352
  
• Vasco M. Manquinho, João P. Marques Silva:
  Satisfiability-Based Algorithms for Boolean Optimization. 353-372
  
• Fumiaki Okushi, Allen Van Gelder:
  Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. 373-402
  
• Tzachi Rosen, Solomon Eyal Shimony, Eugene Santos Jr.:
  Reasoning with BKBs - Algorithms and Complexity. 403-