interior
发表于 2025-3-30 11:04:05
http://reply.papertrans.cn/24/2351/235039/235039_51.png
广口瓶
发表于 2025-3-30 15:15:55
Computing the Least Common Subsumer in the Description Logic , w.r.t. Terminological Cycles with Desumer, they can also be used to approximate the lcs even if it does not exist. In addition, we give a sufficient condition for the lcs to exist, and show that, under this condition, it can be computed in polynomial time.
SPALL
发表于 2025-3-30 20:21:08
http://reply.papertrans.cn/24/2351/235039/235039_53.png
极为愤怒
发表于 2025-3-30 20:41:43
Hypotheses and Version Spacesscussed. We give an algorithm how to generate a version space for which the classifiers are closed under conjunction..As an application we discuss an example from predicitive toxicology. The classifiers here are chemical compounds and their substructures. The example also indicates how the methodology can be applied to Conceptual Graphs.
negligence
发表于 2025-3-31 04:05:02
http://reply.papertrans.cn/24/2351/235039/235039_55.png
救护车
发表于 2025-3-31 07:20:47
http://reply.papertrans.cn/24/2351/235039/235039_56.png
确定方向
发表于 2025-3-31 09:25:14
Mohammad Taufique,Vajahat Khursheeds coded in the power context family. The main result of this paper is that the conceptual contents can be derived as extents of the so-called . of the corresponding power context family. In short, the conceptual contents of judgments are formally derivable as concept extents.
Eviction
发表于 2025-3-31 17:02:40
Victor Squires,Zhang Degang,Hua Liminalence relation is introduced. The purpose of this relation is to enable formalization of intensional equivalence of concepts. The intensional semantics is defined by a novel algebraic semantics which basically is an algebraic generalization of the well-known extensional semantics.
TAG
发表于 2025-3-31 20:43:58
Charlotte Bellmann,Olav Clemensevelopped for Constraint Satisfaction Problems. In order to benefit from the optimization work done in this community, we have chosen to present an alternate version of SGs, differences being the definition of these graphs as hypergraphs and the use of conjunctive types.
SOB
发表于 2025-3-31 22:32:24
http://reply.papertrans.cn/24/2351/235039/235039_60.png