In the end, a set of Plotkin-style structural operational semantics ( SOS) rules inductively defines a compositional formal semantics for UML state machine.

The above examples demonstrate the compositional semantics of CSP& namely how the Parallel construct can be used to compose layered networks from fine-grained stateless components.

以上示例演示了CSP的复合语言&即如何用Parallel构造把细致的无状态的组件组成分层的网络。

互联网摘选

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

互联网摘选

On the Problem of Semantic Classification of Russian Adjectives from the Perspective of Computational Semantics

从计算语义学角度看俄语形容词的语义分类问题

互联网摘选

A DETERMINISTIC SEMANTICS OF COMMUNICATING PROCESSES Communications ICs Communication ICs

通信进程的确定性语义学

互联网摘选

It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.

总结了未来语义Web基础研究和应用研究的方向：语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信（Trust）与证据（Proof）模型的开发；

互联网摘选

A Formal Semantic Model Facing Object Language

一个面向对象语言的形式语义模型

互联网摘选

Barwise's criticisms on the extensional model theory semantics and the possible world semantics, not only reveals the shortages of logic semantics, but also helps us to understand the logic semantics problems of natural language more profoundly.

巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。

互联网摘选

Hence we propose a kind of structure postulates about the movement of categorical positions, and form a particular Categorical Type Logic-Multi-Modal Logic with constrains on accessible relations in possible world semantics.

因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。

互联网摘选

To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possible world semantics provides an effective tool for this.

建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。

互联网摘选

An approach to multi action commitments in KARO logical framework was made, and it was interpreted using Kripke style possible world semantics.

研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。

互联网摘选

This is also shown by the vagueness of KaKbp → Kap in possible world semantics.

可传递性公式KaKbp→Kap在可能世界语义学上的模糊性，也表明了这一点。

互联网摘选

However, though the Possible World Semantics makes us understanding of modal expressions more intuitively, many problems emerge still.

然而，尽管可能世界语义学能让我们更直观地理解模态逻辑表达式，但是依然衍生出许多问题。

互联网摘选

Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics

情境语义学对外延模型论和可能世界语义学的批判

互联网摘选

Meanwhile, the neuron is connected according to semantic relation between the concept, which is very good to solve the difficult problems that the fuzzy on semantic and the differentiation of morphology.

它语义神经网络以概念之间的语义关系为依托，这又能很好地解决汉语语义上的模糊性和词性划分上的困难问题。

互联网摘选

Semantic generalization and differentiation leads to Affix and relationships before and after changes in composition and structure, on the contrary, structural changes in semantic false cause, and then to affix generated.

语义的泛化和分化导致词缀与前后成分结构关系发生变化，反之，结构改变引起语义虚化，从而词缀产生。

互联网摘选

Lexical Collocation and Semantic Differentiation in Chinese The Definition and Overview of the Word Collocation

汉语的词语搭配和义征的提取辨析

互联网摘选

The Semantic Differentiation, Structure and Features of Argots

论隐喻的语义识别、语义结构和特征

互联网摘选

Semantic Differentiation and Analysis of the Concept of Music

关于音乐概念的语义学辨析

互联网摘选

In this study, a new classification method of tolerances according to semantics and mathematical representation of basic geometric elements based on DOF is given.

给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法；

互联网摘选

Language, Semantics, Linguistic Representation, and Theory of Mind

语言，语义，语言表征，心理理论&从语言获得建构理论谈心理理论和语言能力的关系

互联网摘选