Journals in DBLP

Ann. Math. Artif. Intell.
1995, volume: 15, number: 2

1. Emmanuel Kounalis, Michaël Rusinowitch
   Reasoning with Conditional Axioms. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:125-149 [Journal]
   
2. Carl H. Smith, William I. Gasarch
   Recursion Theoretic Models of Learning: Some Results and Intuitions. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:151-166 [Journal]
   
3. Michael J. Maher, Peter J. Stuckey
   On Inductive Inference of Cyclic Structures. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:167-208 [Journal]
   
4. Howard A. Blair, V. Wiktor Marek, John S. Schlipf
   The Expressiveness of Locally Stratified Programs. [Citation Graph (1, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:209-229 [Journal]
   
5. Adam Brooks Webber
   Proof of the Interval Satisfiability Conjecture. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:231-238 [Journal]
   
6. Krishnaprasad Thirunarayan
   On the Equivalence of Upward and Downward Inheritance Reasoners. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:239-256 [Journal]