该词条未找到_海词词典

您要查找的是不是：

Based on this discovery, this paper provides the sufficient and necessary conditions for the monotonicity of a general default theory, and discussed their significance. 在此基础上,本文给出了一般缺省理论扩充保持单调性的充要条件,并讨论了它们的意义。
The present paper investigates the representability of default theories by means of the set of extensions of a default theory. 摘要本文基于缺省理论的扩充集来研究缺省理论的表示性问题。
Second,it is proved that default theories having pairwise inconsistent extensions can be represented by a prerequisite-free semi-normal default theory. 其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。
The present paper investigates an abductive framework in default logic, and gives a solving abduction method in propositional default theories. 摘要研究缺省逻辑表示下的溯因框架，给出一种基于规则的命题逻辑缺省溯因诊断的求解方法。
Mark for the Extension of a Constrained Default Theory 对基于约束条件的缺省逻辑扩充的注记
MONOTONICITY OF A DEFAULT THEORY AND A NASC FOR ITS VALIDITY 缺省理论的单调性及其充要条件
He lost the tennis match by default. 他因不出场而输了网球赛。
She lost the tennis match by default. 她因不出场而输了这场网球赛。
He tried in every way to verify this theory. 他想一切办法来验证这个理论。
I default on the installment payment. 我没有付分期应付的款。
I entirely approve of that theory. 我完全赞成那种理论。
In default of tools, he uses a knife. 因没有工具，他使用一把刀子。
The team lost a game by default. 那个队因没有出席而输掉比赛。
Einstein put forward his new theory of relativity. 爱因斯坦提出了相对论的新学说。
Let's both try not to default on our commitments. 让我们双方一起努力，不违反自己的承诺。
This concept is at the very core of her theory. 这个概念是她理论的核心。
Einstein's theory of relativity. 爱因斯坦的相对论。
Practical experience belies this theory. 实际经验证明这个理论是错误的。
In default of tools, she used a hairpin and a buttonhook. 因没有工具，她使用一支发针及一钮钩。
Her theory was quoted without an acknowledgement. 她的理论被人引用而未向她致谢。