1.
The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;
一阶谓词逻辑在人工智能知识表示中的应用
2.
Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;
一阶模糊谓词逻辑公式的可测集解释真度理论
3.
predicate logic with equality
带同异性的谓词逻辑
4.
On the Exceptional Cases of the Consistency in the Logical Subject of Particles;
浅析分词逻辑主谓关系一致的几种特殊情况
5.
L～* Predicate Logic and Newly Search for the R_0 Algebra;
L～*谓词逻辑与R_0代数性质新探
6.
Application of Petri Nets in Predicate Logic Reasoning;
谓词逻辑推理中的Petri网应用
7.
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
8.
Prolog Programming Based on Predicate Logic
基于谓词逻辑的Prolog程序设计
9.
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).
表示个体,谓词,个体量化,和命题关系的一种形式逻辑。
10.
Division Operation Semantics and Realization by SQL Based on Predicate Logic;
基于谓词逻辑的除法运算语义及其SQL实现
11.
Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas;
模糊谓词逻辑公式的有限和可数解释真度理论
12.
Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic
基于条件谓词逻辑的可信计算形式化分析
13.
A predicate is something said about an argument or it states the logical relation linking the arguments n a sentence.
一个谓词是关于论元的陈述，或者说明一个句子的论元间的逻辑关系。
14.
This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.
通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。
15.
Logic and Phenomenology of Pre-predicative Experience;
逻辑与前述谓(Vorpr~dikativ)经验的现象学澄清(一)
16.
Conditional α-truth Degrees of Formulas Based on Finite Interpretation in Fuzzy Predicate Logic;
模糊谓词逻辑中基于有限解释的公式的条件α-真度理论
17.
Logical Relationships of the Non-finites with Related Elements in English Sentences;
英语句子中非谓语动词与相关句子成分的逻辑关系
18.
A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究