共 50 条
- [21] PARALLEL INFERENCE ON LOGICAL NETWORKS IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 305 - 310
- [23] Probabilistic Logical Inference on the Web AI*IA 2016: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2016, 10037 : 351 - 363
- [26] INTRODUCTION TO DIAGNOSIS BY LOGICAL INFERENCE JOURNAL OF THE ROYAL COLLEGE OF PHYSICIANS OF LONDON, 1979, 13 (04): : 193 - 194
- [28] Inference systems for logical algorithms FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 60 - 78
- [30] A characterization of logical constants is possible THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2003, 18 (02): : 189 - 198