The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Math. Artif. Intell.
1998, volume: 22, number: 3-4

  1. Lenore Cowen, Joan Feigenbaum, Sampath Kannan
    A Formal Framework for Evaluating Heuristic Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:193-206 [Journal]
  2. Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex
    Nonmonotonic Reasoning: From Complexity to Algorithms. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:207-236 [Journal]
  3. Andreas Birkendorf, Hans-Ulrich Simon
    Using Computational Learning Strategies as a Tool for Combinatorial Optimization. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:237-257 [Journal]
  4. Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy
    Automating the Synthesis of Decision Procedures in a Constructive Metatheory. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:259-279 [Journal]
  5. Peter Jonsson, Christer Bäckström
    Tractable Plan Existence Does Not Imply Tractable Plan Generation. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:281-296 [Journal]
  6. Mukesh Dalal
    Anytime Clausal Reasoning. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:297-318 [Journal]
  7. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    Boosting Complete Techniques Thanks to Local Search Methods. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:319-331 [Journal]
  8. Carolina Ruiz, Jack Minker
    Logic Knowledge Bases With Two Default Rules. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:333-361 [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