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-425
  

Last update Thu Feb 16 06:57:51 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page