软件搜索-zbMATH Open

NoMoRe公司

swMATH ID:	7094
软件作者：	愤怒，克里斯蒂安；Kathrin Konczak；托马斯·林奇
描述：	NoMoRe:答案集语义下的非单调推理系统NoMoRe为普通逻辑程序实现应答集语义。它通过计算与给定程序关联的块图（标记有向图）的a-colorings（双色非标准图着色），实现了一种计算答案集的新范式。直观地说，a-颜色反映了答案集的生成规则集，这意味着noMoRe是基于规则的，不像大多数其他已知系统那样是基于原子的。由于核心系统仅为命题程序设计，因此我们集成了lparse作为处理变量的基础。此外，我们还为图形绘制工具DaVinci提供了一个接口，用于块图的可视化。这允许对程序进行结构分析。
主页：	http://rd.springer.com/chapter/10.1007%2F3-540-45744-5_24
关键词：	答案集
相关软件：	亚萨特；C模型；斯莫德尔斯；Lparse（L解析）；数据日志；格林戈；GNT公司；诺莫尔++；图形库；PLATYPUS公司；接通DLV；DLV-EX公司；DLV公司；GASP公司；芦笋；DASWAM公司；NP-SPEC公司；达芬奇；SWI-预测；希尔贝蒂库斯
引用于：	22文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
NoMoRe：答案集语义下的非单调推理系统。 Zbl 1007.68718号愤怒，克里斯蒂安；凯瑟琳·孔扎克；托马斯·林奇	2001