The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Math. Artif. Intell.
2000, volume: 28, number: 1-4

  1. Martin Charles Golumbic
    Editor's remarks. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:1-2 [Journal]
  2. Nachum Dershowitz
    Artificial intelligence: Retrospective/prospective. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:3-5 [Journal]
  3. John V. Franco
    Some interesting research directions in satisfiability. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:7-15 [Journal]
  4. Harvey J. Greenberg
    A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:17-20 [Journal]
  5. Hélène Kirchner
    Combining assisted and automated deduction. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:21-26 [Journal]
  6. Monty Newborn
    Deep Blue's contribution to AI. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:27-30 [Journal]
  7. Michael M. Richter
    Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:31-33 [Journal]
  8. Bart Selman
    Compute-intensive methods in artificial intelligence. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:35-38 [Journal]
  9. Oliviero Stock
    Natural language processing and intelligent interfaces. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:39-41 [Journal]
  10. György Turán
    Remarks on computational learning theory. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:43-45 [Journal]
  11. Luca Chittaro, Angelo Montanari
    Temporal representation and reasoning in artificial intelligence: Issues and approaches. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:47-106 [Journal]
  12. Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya
    Higher order generalization and its application in program verification. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:107-126 [Journal]
  13. Marat Fayzullin, Mirco Nanni, Dino Pedreschi, V. S. Subrahmanian
    Foundations of distributed interaction systems. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:127-168 [Journal]
  14. Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky
    Bayes networks for estimating the number of solutions of constraint networks. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:169-186 [Journal]
  15. Sarit Kraus, Jeffrey S. Rosenschein, Maier Fenster
    Exploiting focal points among alternative solutions: Two approaches. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:187-258 [Journal]
  16. Samir Chopra, Rohit Parikh
    Relevance sensitive belief structures. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:259-285 [Journal]
  17. Jin Tian, Judea Pearl
    Probabilities of causation: Bounds and identification. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:287-313 [Journal]
  18. Glenn Shafer, Peter R. Gillett, Richard B. Scherl
    The logic of events. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:315-389 [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