Journals in DBLP

Ann. Math. Artif. Intell.
2004, volume: 40, number: 3-4

1. Sergio A. Alvarez
   A Theory of Frame Transformations for Belief Combination. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:187-214 [Journal]
   
2. Adam Cannon, Lenore Cowen
   Approximation Algorithms for the Class Cover Problem. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:215-224 [Journal]
   
3. Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
   Locally Determined Logic Programs and Recursive Stable Models. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:225-262 [Journal]
   
4. Henning Fernau
   Identifying Terminal Distinguishable Languages. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:263-282 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:283-302 [Journal]
   
6. Oliver Kullmann
   Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:303-352 [Journal]
   
7. Vasco M. Manquinho, João P. Marques Silva
   Satisfiability-Based Algorithms for Boolean Optimization. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:353-372 [Journal]
   
8. Fumiaki Okushi, Allen Van Gelder
   Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:373-402 [Journal]
   
9. Tzachi Rosen, Solomon Eyal Shimony, Eugene Santos Jr.
   Reasoning with BKBs - Algorithms and Complexity. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:403-0 [Journal]