诺莫尔

NoMoR:一个非单调推理系统在回答集语义NoRoR中实现了正常逻辑程序的答案集语义。通过计算与给定程序$p$相关联的块图(标记有向图)的A着色(非标准图着色两种颜色),它实现了一种新颖的计算答案集的范例。直观地,A着色反映了回答集的生成规则集,这意味着NoMoR是基于规则的,而不是基于原子的,就像大多数其他已知系统一样。由于核心系统是专为命题程序,我们已经集成了LPARSE作为一个地雷,以处理变量。此外,我们还包括了图形绘制工具达芬奇的一个界面,用于块图的可视化。这允许对程序进行结构分析。


ZBMaX中的参考文献(22篇)1标准条款

显示结果1至20的22。
按年份排序(引文
  1. 费伯,沃尔夫冈;Leone,尼古拉;佩里,Simona:DLV智能地雷(2012)
  2. 费伯,沃尔夫冈;普费菲,杰拉尔德;Leone,尼古拉:回答集编程中递归聚合的语义和复杂性(2011)
  3. 色相,朱利安;PAPIII,Odile;W·RBEL,埃里克:实现与ASP(2010)的优先合并
  4. 胡伊,朱利安;帕皮尼,Odile;W·B·埃里克:逻辑程序表示的信仰基础合并(2009)
  5. Calimeri,F.PrR.S.;Ricca,F.:用ASP进行ASP程序实例化的实验(2008)
  6. 克莱尔,尼古拉斯,Pascal:回答集计算搜索过程中的接地(2008)
  7. Perri,Simona;里卡,弗朗西斯科;VESCIO,SAVIIO:通过动态重写高效并行ASP实例化(2008)
  8. Perri,Simona;斯卡塞罗,弗朗西斯科;卡塔拉诺,Gelsomina;Leone,尼古拉:用回跳技术增强DLV实例化(2007)
  9. Tu,Phan Huy;儿子,Tran Cao;Baral,Chitta:用回答集编程的感觉动作、不完全信息和静态因果律的推理和规划(2007)
  10. Calimeri,弗朗西斯科;费伯,沃尔夫冈;普费菲,杰拉尔德;Leone,尼古拉:析取逻辑程序设计系统的修剪算子(2006)
  11. Calimeri,弗朗西斯科;IANI,GIOVAMBATISTA:析取逻辑程序设计的模板程序:操作语义学(2006)
  12. Konczak,Kathrin;Linke,托马斯;Suab,Trest:答案集编程的图形和着色(2006)
  13. 愤怒、基督教、Gebser、马丁、Linke、托马斯、诺伊曼、安德鲁、肖布、托斯滕:诺莫尔+ +回答集合解决方法(2005)
  14. Linke,托马斯;Sarsakov,弗拉迪米尔:答案集编程的合适图(2005)
  15. Konczak,Kathrin;Linke,托马斯;肖布,托斯滕:答案集编程的图形和着色:删节报告(2004)
  16. 科赫,克里斯托夫;Leone,尼古拉;普费菲,杰拉尔德:用SAT检查器增强析取逻辑编程系统(2003)
  17. Konczak,Kathrin;Suab,TrStand;Linke,托马斯:用偏好设置答案集的图和着色(2003)
  18. 愤怒、基督教、康萨克、Kathrin、Linke、托马斯:诺莫尔:逻辑程序的非单调推理(2002)
  19. Linke,托马斯;愤怒,基督教;康萨克,Kathrin:更多关于诺莫尔(2002)
  20. 愤怒,基督教;康克扎克,Kathrin;Linke,托马斯:诺莫尔:一个非单调推理系统在答案集语义下(2001)