共 50 条
- [41] Confidences for Commonsense Reasoning [J]. AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 507 - 524
- [43] Definability and commonsense reasoning [J]. ARTIFICIAL INTELLIGENCE, 1997, 93 (1-2) : 169 - 199
- [44] The MathServe system for Semantic Web reasoning Services [J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 140 - 144
- [45] Semantic Web reasoning with Conceptual Logic Programs [J]. RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 113 - 127
- [47] Uncertainty reasoning for the "Big Data" Semantic Web [J]. 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 147 - 154
- [49] DRAGO: Distributed reasoning architecture for the semantic web [J]. SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS, 2005, 3532 : 361 - 376
- [50] Semantic Web reasoning using a Blackboard system [J]. PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, 2006, 4187 : 204 - 218