Journals in DBLP

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

1. Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
   Structured Proof Procedures. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:1, pp:1-18 [Journal]
   
2. Mira Balaban
   The F-logic Approach for Description Languages. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:1, pp:19-60 [Journal]
   
3. Daniel J. Lehmann
   Another Perspective on Default Reasoning. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:1, pp:61-82 [Journal]
   
4. Wlodek Zadrozny, Michelle Y. Kim
   Computational Mereology: A Study of Part-of Relations for Multimedia Indexing. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:1, pp:83-100 [Journal]
   
5. Alexander Bochman
   Modal Nonmonotonic Logics Demodalized. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1995, v:15, n:1, pp:101-123 [Journal]