BriefGPT.xyz
Ask
alpha
关键词
non-monotonic
搜索结果 - 1
查询约简描述逻辑知识库
本文证明了在围绕述及 DL 知识库上进行的 (U) CQ 评估的可决定性,并获得了从 ALCHIO 通过 EL 到各种版本的 DL-Lite 等各种 DL 的组合复杂性和数据复杂性的相当完整的图片。
PDF
a year ago
Prev
Next