共 6 条
- [1] Methods of partial logic for knowledge representation and deductive reasoning in incompletely specified domains DATABASES AND INFORMATION SYSTEMS, 2001, : 275 - 295
- [3] In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning KUNSTLICHE INTELLIGENZ, 2023, 37 (2-4): : 249 - 254
- [6] APPLYING LOGIC TO PHILOSOPHICAL THEOLOGY: A FORMAL DEDUCTIVE INFERENCE OF AFFIRMING GOD'S EXISTENCE FROM ASSUMING THE A-PRIORI-NESS OF KNOWLEDGE IN THE SIGMA FORMAL AXIOMATIC THEORY VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2020, 55 : 5 - 12