共 50 条
- [22] Comparison of formal knowledge representation schemes as communication tools. predicate logic vs semantic network Nosek, John T., 1600, (33):
- [23] SEMANTIC TABLEAUX FOR A LOGIC WITH IDENTITY ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (03): : 241 - 247
- [27] A semantic hierarchy for intuitionistic logic INDAGATIONES MATHEMATICAE-NEW SERIES, 2019, 30 (03): : 403 - 469
- [29] Combining description logic and Defeasible Logic for the Semantic Web RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 170 - 181