Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]