1.
Strategy for Component Composition Based on Logical Reasoning and Its Algorithm
基于逻辑推理的构件组装策略及其算法
2.
Research on dynamic expression of digital rights based on logic reasoning
基于逻辑推理的数字权利动态描述研究
3.
An Inference and Decision Logic Approach for Process Planning Based on Mathematical Logic;
基于数理逻辑的工艺推理与决策逻辑方法研究
4.
Research on Semantic Web Knowledge Reasoning Based on Description Logic;
基于描述逻辑的语义Web知识推理研究
5.
Knowledge Representation and Reasoning Based on Computability Logic
基于可计算性逻辑的知识表示与推理
6.
Reasoning by using boundary-based module in description logics
描述逻辑中基于边界模块的推理方法
7.
A Survey of Ten Years Studies on Fuzzy Logic and Fuzzy Reasoning;
关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述
8.
Searching method of fuzzy knowledge reasoning based on medium logic
基于中介逻辑的模糊知识推理的搜索处理
9.
The Theory of Approximate Reasoning Based on the Premise Information in Two-valued Propositional Logic
二值命题逻辑中基于前提信息的近似推理理论
10.
The Study of Approximate Reasoning in Lattice-Valued Logic Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑中的近似推理研究
11.
Description Logics Based Knowledge Representation and Reasoning for the Semantic Web;
基于描述逻辑的语义Web知识表示和推理
12.
Reasoning Model of Agent and Verification System Based on Dynamic Fuzzy Logic(DFL);
基于动态模糊逻辑（DFL）的Agent推理模型及验证系统
13.
A Three-valued Semantically Deductive System Based on Open-world Assumption;
基于开放世界假设的三值逻辑的语义推理系统
14.
Decision-Making for New Product Development by Fuzzy Logic Inference;
基于模糊逻辑推理的新产品开发方案决策方法
15.
Research on Knowledge Reasoning in Multi-Agent System Based on Dynamic Epistemic Logic
基于动态认知逻辑的多主体系统知识推理研究
16.
Gfp-model-based Reasoning Mechanism of Terminological Cycles in Description Logic FLε
基于gfp-模型的描述逻辑FLε的循环术语集推理
17.
Research on Ontology Reasoning Based on Description Logic in Semantic Web
语义网中基于描述逻辑的本体推理研究
18.
Performance Evaluation of Product Platform Based on Weighted Fuzzy Logic Reasoning
基于加权模糊逻辑推理的产品平台绩效评价