oxidation
发表于 2025-3-21 18:42:15
书目名称Description Logic, Theory Combination, and All That影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0268280<br><br> <br><br>书目名称Description Logic, Theory Combination, and All That影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0268280<br><br> <br><br>书目名称Description Logic, Theory Combination, and All That网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0268280<br><br> <br><br>书目名称Description Logic, Theory Combination, and All That网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0268280<br><br> <br><br>书目名称Description Logic, Theory Combination, and All That被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0268280<br><br> <br><br>书目名称Description Logic, Theory Combination, and All That被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0268280<br><br> <br><br>书目名称Description Logic, Theory Combination, and All That年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0268280<br><br> <br><br>书目名称Description Logic, Theory Combination, and All That年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0268280<br><br> <br><br>书目名称Description Logic, Theory Combination, and All That读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0268280<br><br> <br><br>书目名称Description Logic, Theory Combination, and All That读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0268280<br><br> <br><br>
舞蹈编排
发表于 2025-3-21 20:20:23
Conference proceedings 1987Latest editionhe important notion of concurrency, we also consider interleaving..We present results from the formal language literature which have immediate bearing on the complexity of DL-like reasoning tasks. However, we also focus on succinctness of representation, and on expressive power, issues first studied
output
发表于 2025-3-22 02:31:37
http://reply.papertrans.cn/27/2683/268280/268280_3.png
磨坊
发表于 2025-3-22 06:06:49
https://doi.org/10.1007/978-3-642-76510-0 algorithm relies completely on classical entailment checks and shows that the computational complexity of reasoning over defeasible ontologies is no worse than that of the underlying classical .. Before concluding, we take a brief tour of some existing work on defeasible extensions of . that go bey
LEVY
发表于 2025-3-22 11:35:38
Fibrinklebung in der Otorhinolaryngologieeer by relying only on the query answering service available at the queried peer and at the other peer. We show both a positive and a negative result. Namely, we first prove that a solution to this problem always exists when the ontology is specified in ., and we provide an algorithm to compute it.
多余
发表于 2025-3-22 15:02:06
http://reply.papertrans.cn/27/2683/268280/268280_6.png
多余
发表于 2025-3-22 17:30:52
http://reply.papertrans.cn/27/2683/268280/268280_7.png
安慰
发表于 2025-3-22 23:01:55
http://reply.papertrans.cn/27/2683/268280/268280_8.png
注视
发表于 2025-3-23 03:18:05
http://reply.papertrans.cn/27/2683/268280/268280_9.png
键琴
发表于 2025-3-23 05:37:31
Initial Steps Towards a Family of Regular-Like Plan Description Logics,he important notion of concurrency, we also consider interleaving..We present results from the formal language literature which have immediate bearing on the complexity of DL-like reasoning tasks. However, we also focus on succinctness of representation, and on expressive power, issues first studied