Journals in DBLP

J. Exp. Theor. Artif. Intell.
1999, volume: 11, number: 1

1. Robert Morris, Lina Khatib
   Introduction to the special issue on time and temporal reasoning. [Citation Graph (0, 0)][DBLP]
   J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:1-2 [Journal]
   
2. Ahmed Y. Tawfik, Eric Neufeld
   Changing times: a causal theory of probabilistic temporal reasoning. [Citation Graph (0, 0)][DBLP]
   J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:3-21 [Journal]
   
3. Thierry Vidal, Hélène Fargier
   Handling contingency in temporal constraint networks: from consistency to controllabilities. [Citation Graph (0, 0)][DBLP]
   J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:23-45 [Journal]
   
4. Paolo Mancarella, Alessandra Raffaetà, Franco Turini
   Knowledge representation with multiple logical theories and time. [Citation Graph (0, 0)][DBLP]
   J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:47-76 [Journal]
   
5. Alexander Bolotov, Michael Fisher
   A clausal resolution method for CTL branching-time temporal logic. [Citation Graph (0, 0)][DBLP]
   J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:77-93 [Journal]
   
6. Clare Dixon
   Removing irrelevant information in temporal resolution proofs. [Citation Graph (0, 0)][DBLP]
   J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:95-121 [Journal]
   
7. Yuval Shahar
   Knowledge-based temporal interpolation. [Citation Graph (0, 0)][DBLP]
   J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:123-144 [Journal]