热点
"描述逻辑" 相关文章
Analysing Temporal Reasoning in Description Logics Using Formal Grammars
cs.AI updates on arXiv.org 2025-08-04T04:27:40.000000Z
SAT-Based Bounded Fitting for the Description Logic ALC
cs.AI updates on arXiv.org 2025-07-30T04:11:59.000000Z