Journals in DBLP

Artif. Intell.
1995, volume: 74, number: 2

1. Alfonso Gerevini, Lenhart K. Schubert
   Efficient Algorithms for Qualitative Reasoning about Time. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1995, v:74, n:2, pp:207-248 [Journal]
   
2. Marco Schaerf, Marco Cadoli
   Tractable Reasoning via Approximation. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1995, v:74, n:2, pp:249-310 [Journal]
   
3. Adam J. Grove
   Naming and Identity in Epistemic Logic Part II: A First-Order Logic for Naming. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1995, v:74, n:2, pp:311-350 [Journal]
   
4. Vladimir Lifschitz
   Nested Abnormality Theories. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1995, v:74, n:2, pp:351-365 [Journal]
   
5. Vittorio Brusoni, Luca Console, Paolo Terenziani
   On the Computational Complexity of Querying Bounds on Differences Constraints. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1995, v:74, n:2, pp:367-379 [Journal]
   
6. Joseph Y. Halpern, Gerhard Lakemeyer
   Levesque's Axiomatization of only Knowing is Incomplete. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1995, v:74, n:2, pp:381-387 [Journal]
   
7. Damjan Bojadziev
   Sloman's View of Gödel's Sentence. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1995, v:74, n:2, pp:389-393 [Journal]