default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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, Yun Fong Lim, 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
