Journals in DBLP

Artif. Intell.
2005, volume: 162, number: 1-2

1. Thomas Ellman, Fausto Giunchiglia
   Introduction to the Special Volume on Reformulation. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 2005, v:162, n:1-2, pp:3-5 [Journal]
   
2. Alvaro del Val
   First order LUB approximations: characterization and algorithms. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 2005, v:162, n:1-2, pp:7-48 [Journal]
   
3. Eyal Amir, Sheila A. McIlraith
   Partition-based logical reasoning for first-order and propositional theories. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 2005, v:162, n:1-2, pp:49-88 [Journal]
   
4. Marco Cadoli, Andrea Schaerf
   : Compiling problem specifications into SAT. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 2005, v:162, n:1-2, pp:89-120 [Journal]
   
5. Martin Sachenbacher, Peter Struss
   Task-dependent qualitative domain abstraction. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 2005, v:162, n:1-2, pp:121-143 [Journal]
   
6. Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith
   Towards a practical theory of reformulation for reasoning about physical systems. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 2005, v:162, n:1-2, pp:145-204 [Journal]