PulseAugur
中
实时 01:02:48
实体 Giovanni Casini

Giovanni Casini

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

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_107958 ·

    新方法增强了轻量级描述逻辑中的可废止推理

    研究人员开发了一种处理描述逻辑（DLs）中可废止知识的新方法，特别关注DL-Lite系列轻量级逻辑。这种称为理性闭包（RC）的方法允许非单调推理，这意味着如果新信息与之矛盾，结论可能会被修改。该研究在RC下分析了权利和合取查询（CQ）应答，提出了一种即插即用架构，该架构与现有的经典推理器集成，以实现高效计算和最小开销。