
Journals in DBLP
Inf. Sci. 1999, volume: 116, number: 1
 Grigoris Antoniou, Neil V. Murray
Logical Methods for Computational Intelligence (Guest Editorial). [Citation Graph (0, 0)][DBLP] Inf. Sci., 1999, v:116, n:1, pp:12 [Journal]
 Detlef Fehrer, Helmut Horacek
Presenting Inequations in Mathematical Proofs. [Citation Graph (0, 0)][DBLP] Inf. Sci., 1999, v:116, n:1, pp:323 [Journal]
 Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
Integrating Induction and Abduction in Logic Programming. [Citation Graph (0, 0)][DBLP] Inf. Sci., 1999, v:116, n:1, pp:2554 [Journal]
 David Billington
Proving Quantified Literals in Defeasible Logic. [Citation Graph (0, 0)][DBLP] Inf. Sci., 1999, v:116, n:1, pp:5581 [Journal]
 R. D. Dormer, Craig MacNish
The PACLearnability of Planning Algorithms: Investigating Simple Planning Domains. [Citation Graph (0, 0)][DBLP] Inf. Sci., 1999, v:116, n:1, pp:8395 [Journal]
