Annals of Mathematics and Artificial Intelligence, Volume 40

Volume 40, Number 1-2, January 2004

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

Sergio A. Alvarez:
A Theory of Frame Transformations for Belief Combination. 187-214
Electronic Edition (link) BibTeX
Adam Cannon, Lenore Cowen:
Approximation Algorithms for the Class Cover Problem. 215-224
Electronic Edition (link) BibTeX
Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt:
Locally Determined Logic Programs and Recursive Stable Models. 225-262
Electronic Edition (link) BibTeX
Henning Fernau:
Identifying Terminal Distinguishable Languages. 263-282
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Oliver Kullmann:
Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems. 303-352
Electronic Edition (link) BibTeX
Vasco M. Manquinho, João P. Marques Silva:
Satisfiability-Based Algorithms for Boolean Optimization. 353-372
Electronic Edition (link) BibTeX
Fumiaki Okushi, Allen Van Gelder:
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. 373-402
Electronic Edition (link) BibTeX
Tzachi Rosen, Solomon Eyal Shimony, Eugene Santos Jr.:
Reasoning with BKBs - Algorithms and Complexity. 403-
Electronic Edition (link) BibTeX