Volume 40, Number 1-2, January 2004
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team