PulseAugur
中
实时 11:57:57
实体 conjunctive query

conjunctive query

PulseAugur coverage of conjunctive query — every cluster mentioning conjunctive query across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_107958 ·

    新方法增强了DL-Lite逻辑中的可废止推理

    研究人员开发了一种使用理性闭包（RC）处理描述逻辑（DLs）中可废止知识的新方法。该方法应用于DL-Lite系列轻量级描述逻辑，重点关注实例检查和合取查询（CQ）应答。该贡献包括一个与现有经典推理器集成的插件架构，证明了基于RC的推理和DL-Lite的CQ应答可以高效地执行，且计算开销极小。