Journals in DBLP

Ann. Math. Artif. Intell.
1999, volume: 26, number: 1-4

1. Joseph Y. Halpern
   Set-theoretic completeness for epistemic and conditional logic. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:1-27 [Journal]
   
2. Alexander Brodsky, Yehoshua Sagiv
   Inference of monotonicity constraints in Datalog programs. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:29-57 [Journal]
   
3. Fumiaki Okushi
   Parallel cooperative propositional theorem proving. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:59-85 [Journal]
   
4. Allen Van Gelder, Fumiaki Okushi
   A propositional theorem prover to solve planning and other problems. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:87-112 [Journal]
   
5. Allen Van Gelder, Fumiaki Okushi
   Lemma and cut strategies for propositional model elimination. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:113-132 [Journal]
   
6. Peter Jonsson
   Strong bounds on the approximability of two Pspace-hard problems in propositional planning. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:133-147 [Journal]
   
7. Daniel Frost, Rina Dechter
   Maintenance scheduling problems as benchmarks for constraint algorithms. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:149-170 [Journal]
   
8. Endre Boros, Tonguç Ünlüyurt
   Diagnosing double regular systems. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:171-191 [Journal]
   
9. Xiaodong Li, Martin K. Purvis
   Pattern recognition by an optical thin-film multilayer model. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:193-213 [Journal]
   
10. Zippora Arzi-Gonczarowski
    Perceive this as that - Analogies, artificial perception, and category theory. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:215-252 [Journal]
    
11. Joseph Y. Halpern
    Errata: ``The relationship between knowledge, belief, and certainty''. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:253-256 [Journal]