Journals in DBLP
Henryk Jan Komorowski , Zbigniew W. Ras Guest Editors' Preface - Selected Papers from the ISMIS'93 Symposium. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:21, n:3, pp:161-162 [Journal ] David Stuart Robertson , Jaume Agustí-Cullell , Jane Hesketh , Jordi Levy Expressing Program Requirements Using Refinement Lattices. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:21, n:3, pp:163-182 [Journal ] Nicola Leone , Luigi Palopoli , Massimo Romeo Modifying Intensional Logic Knowledge. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:21, n:3, pp:183-203 [Journal ] Jianhua Chen The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:21, n:3, pp:205-220 [Journal ] Heng Chu , David A. Plaisted Model Finding in Semantically Guided Instance-Based Theorem Proving. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:21, n:3, pp:221-235 [Journal ] Neil V. Murray , Erik Rosenthal Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:21, n:3, pp:237-253 [Journal ]