|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
- 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]
- Mukesh Dalal
Anytime Clausal Reasoning. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:297-318 [Journal]
- 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]
- 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]
|