The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Math. Artif. Intell.
1990, volume: 1, number:

  1. Jinchang Wang, John H. Vande Vate
    Question-Asking Strategies for Horn Clause Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  2. Arcot Rajasekar, Jack Minker
    On Stratified Disjunctive Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  3. Kim Marriott, Lee Naish, Jean-Louis Lassez
    Most Specific Logic Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  4. V. Wiktor Marek, Miroslaw Truszczynski
    Modal Logic for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  5. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    A Theory of Nonmonotonic Rule Systems I. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  6. E. M. Kleinberg
    Stochastic Discrimination. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  7. Dimitris J. Kavvadias, Christos H. Papadimitriou
    A Linear Programming Approach to Reasoning about Probabilities. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  8. Brigitte Jaumard, P. Marchioro, Aurora Morgana, Rossella Petreschi, Bruno Simeone
    On Line 2-Satisfiability. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  9. Toshihide Ibaraki, Naoki Katoh
    Searching Minimax Game Trees under Memory Space Constraint. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  10. John N. Hooker, C. Fedjiki
    Branch-and-Cut Solution of Inference Problems in Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  11. Alain Hertz, Dominique de Werra
    The Tabu Search Metaheuristic: How we used it. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal]
  12. Howard A. Blair, Allen L. Brown Jr.
    Definite Clause Programs are Canonical (over a suitable domain). [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:1-19 [Journal]
  13. Endre Boros, Yves Crama, Peter L. Hammer
    Polynomial-Time Inference of All Valid Implications for Horn and Related Formulae. [Citation Graph (1, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:21-32 [Journal]
  14. Ronen Feldman, Martin Charles Golumbic
    Ineractive Scheduling as a Constraint Satisfiability Problem. [Citation Graph (1, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:49-73 [Journal]
  15. Harvey J. Greenberg
    Neural Networks and Heuristic Search. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:75-95 [Journal]
  16. Pierre Hansen, Marcus Poggi de Aragão, Celso C. Ribeiro
    Boolean Query Optimization and the 0-1 Hyperbolic Sum Problem. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:97-109 [Journal]
  17. Robert G. Jeroslow, Jinchang Wang
    Solving Propositional Satisfiability Problems. [Citation Graph (1, 0)][DBLP]
    Ann. Math. Artif. Intell., 1990, v:1, n:, pp:167-187 [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