|
|
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:1-2 [Journal]
- Detlef Fehrer, Helmut Horacek
Presenting Inequations in Mathematical Proofs. [Citation Graph (0, 0)][DBLP]
Inf. Sci., 1999, v:116, n:1, pp:3-23 [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:25-54 [Journal]
- David Billington
Proving Quantified Literals in Defeasible Logic. [Citation Graph (0, 0)][DBLP]
Inf. Sci., 1999, v:116, n:1, pp:55-81 [Journal]
- R. D. Dormer, Craig MacNish
The PAC-Learnability of Planning Algorithms: Investigating Simple Planning Domains. [Citation Graph (0, 0)][DBLP]
Inf. Sci., 1999, v:116, n:1, pp:83-95 [Journal]
|
