×

诺莫尔

swMATH标识: 7094
软件作者: 愤怒,基督徒;康察克,凯瑟琳;林克,托马斯
说明: NoMoRe:答案集语义下的非单调推理系统NoMoRe为普通逻辑程序实现了应答集语义。它通过计算与给定程序(P)相关的块图(带标记有向图)的a-着色(两种颜色的非标准图着色)来实现计算答案集的新范式。直观地说,a-着色反映了答案集的生成规则集,这意味着noMoRe是基于规则的,而不是像大多数已知系统那样基于原子的。由于核心系统是为命题程序设计的,所以我们将lparse作为基础来处理变量。此外,我们还提供了一个与图形绘制工具DaVinci的接口,用于方块图的可视化。这允许对程序进行结构分析。
主页: http://rd.springer.com/chapter/10.1007%2F3-540-45744-5 U 24号
关键词: 答案集
相关软件: 阿萨德;C模型;烟雾;L分析;数据日志;外国佬;GNT公司;诺莫尔++;葡萄糖酶;鸭嘴兽;本体论;DLV-EX公司;DLV公司;喘息;芦笋;达斯旺;NP规范;达芬奇;SWI序言;MODPROF公司
引用于: 22种出版物

按年份列出的引文