The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002