共 50 条
- [41] LOGICAL EXPRESSIONS, CONSTANTS, AND OPERATOR LOGIC JOURNAL OF PHILOSOPHY, 1981, 78 (09): : 487 - 499
- [42] LOGICAL INFERENCE ON INTERPRETED PETRI NETS SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (03): : 98 - 105
- [45] Approximate Inference in Logical Credal Networks PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 5694 - 5701
- [47] Introduction: The philosophy of logical consequence and inference Synthese, 2012, 187 : 817 - 820
- [48] A method of logical inference of modified conclusions Journal of Computer and Systems Sciences International, 2008, 47 : 245 - 251