|
Journals in DBLP
Artif. Intell. 2000, volume: 124, number: 1
- Pablo Jiménez, Carme Torras
An efficient algorithm for searching implicit AND/OR graphs with cycles. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2000, v:124, n:1, pp:1-30 [Journal]
- Thomas Linke, Torsten Schaub
Alternative foundations for Reiter's default logic. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2000, v:124, n:1, pp:31-86 [Journal]
- Francesco M. Donini, Fabio Massacci
EXPTIME tableaux for ALC. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2000, v:124, n:1, pp:87-138 [Journal]
- Caroline Essert-Villard, Pascal Schreck, Jean-François Dufourd
Sketch-based pruning of a solution space within a formal geometric constraint solver. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2000, v:124, n:1, pp:139-159 [Journal]
- José Hernández-Orallo
Truth from Trash. How Learning Makes Sense by Chris Thornton. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2000, v:124, n:1, pp:161-165 [Journal]
|