Journals in DBLP

Ann. Math. Artif. Intell.
1996, volume: 17, number: 3-4

1. Ganesh Baliga, Anil M. Shende
   Learning-Theoretic Perspectives of Acceptable Numberings. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:177-187 [Journal]
   
2. Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes
   Intelligent Backtracking in CLP(R). [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:189-211 [Journal]
   
3. Pawel Cholewinski
   Seminormal Stratified Default Theories. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:213-234 [Journal]
   
4. Fausto Giunchiglia, Paolo Traverso
   Program Tactics and Logic Tactics. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:235-259 [Journal]
   
5. Luigi Palopoli, Carlo Zaniolo
   Polynomial-Time Computable Stable Models. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:261-290 [Journal]
   
6. John-Jules Ch. Meyer, Wiebe van der Hoek
   A Modal Contrastive Logic: The Logic of `but'. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:291-313 [Journal]
   
7. Ruchir Puri, Jun Gu
   A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:315-337 [Journal]
   
8. Daniele Pretolani
   Hierarchies of Polynomially Solvable Satisfiability Problems. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:339-357 [Journal]
   
9. Jinchang Wang, Evangelos Triantaphyllou
   A Cost Effective Question-Asking Strategy for Horn Clause Systems. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:359-379 [Journal]
   
10. Max Böhm, Ewald Speckenmeyer
    A Fast Parallel SAT-Solver - Efficient Workload Balancing. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:381-400 [Journal]