AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

Diagnosing Terminologies

AAAI, pp.670-675, (2005)

被引用96|浏览13
EI
下载 PDF 全文
引用

摘要

We present a framework for the debugging of logically con- tradicting terminologies, which is based on traditional model- based diagnosis. To study the feasibility of this highly gen- eral approach we prototypically implemented the hitting set algorithm presented in (Reiter 1987), and applied it in three different scenarios. First, we use...更多

代码

数据

您的评分 :
0

 

标签
评论
小科