
Journals in DBLP
 Emmanuel Kounalis, Michaël Rusinowitch
Reasoning with Conditional Axioms. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:125149 [Journal]
 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:151166 [Journal]
 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:167208 [Journal]
 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:209229 [Journal]
 Adam Brooks Webber
Proof of the Interval Satisfiability Conjecture. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:231238 [Journal]
 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:239256 [Journal]
