诺莫尔

NoMoRe:答案集语义下的非单调推理系统NoMoRe实现了普通逻辑程序的答案集语义。它通过计算与给定程序$P$相关的块图(带标记的有向图)的a-着色(两种颜色的非标准图形着色)来实现计算答案集的新范式。直观地说,a-着色反映了答案集的生成规则集,这意味着noMoRe是基于规则的,而不是像大多数已知系统那样基于原子的。由于核心系统是为命题程序设计的,所以我们将lparse作为基础来处理变量。此外,我们还提供了一个与图形绘制工具DaVinci的接口,用于方块图的可视化。这允许对程序进行结构分析。


zbMATH中的参考文献(参考 22篇文章,第1条标准)

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. Faber,Wolfgang;Leon,Nicola;Perri,Simona:DLV的智能地滚球(2012)
  2. Faber,Wolfgang;Pfeifer,Gerald;Leon,Nicola:《答案集编程中递归聚合的语义和复杂性》(2011)
  3. Hue,Julien;Papini,Odile;Würbel,Eric:用ASP实现优先合并(2010)
  4. 胡安,朱利安;帕皮尼,奥黛尔;韦尔贝尔,埃里克:以逻辑程序为代表的融合信仰基础(2009)
  5. Calimeri,F.;Perri,S.;Ricca,F.:试验ASP程序实例化的并行性(2008)
  6. Lefèvre,Claire;Nicolas,Pascal:在答案集计算的搜索过程中整合基础(2008)
  7. Perri,Simona;Ricca,Francesco;Vescio,Saverio:通过动态重写实现高效的并行ASP实例化(2008)
  8. Perri,Simona;Scarlo,Francesco;Catalano,Gelsomina;Leon,Nicola:通过回跳技术增强DLV实例化器(2007)
  9. Tu,Phan Huy;Son,Tran Cao;Baral,Chitta:使用答案集编程的感知行为、不完全信息和静态因果律的推理和规划(2007)
  10. Calimeri,Francesco;Faber,Wolfgang;Pfeifer,Gerald;Leone,Nicola:析取逻辑编程系统的剪枝算子(2006)
  11. Calimeri,Francesco;Ianni,Giovambattista:析取逻辑编程的模板程序:操作语义学(2006)
  12. Kathrin Konczak;Linke,Thomas;Schaub,Torsten:答案集编程的图形和颜色(2006)
  13. Anger,Christian;Gebser,Martin;Linke,Thomas;Neumann,André;Schaub,Torsten:答案集求解的nomore++方法(2005)
  14. Thomas Linke;Vladimir Sarsakov:适合答案集编程的图形(2005)
  15. Kathrin Konczak;Linke,Thomas;Schaub,Torsten:答案集编程的图形和颜色:节略报告(2004)
  16. 科赫,克里斯托夫;利昂,尼古拉;普菲弗,杰拉尔德:增强析取逻辑编程系统的SAT checkers(2003)
  17. Kathrin Konczak;Schaub,Torsten;Linke,Thomas:带偏好的答案集编程的图形和颜色(2003)
  18. Anger,Christian;Konczak,Kathrin;Linke,Thomas:NoMoRe:用逻辑程序进行非单调推理(2002)
  19. 托马斯·林克(Thomas Linke);克里斯蒂安·安格尔(Anger);凯瑟琳·康扎克(Konczak):更多关于诺莫尔(noMoRe)(2002年)
  20. Anger,Christian;Konczak,Kathrin;Linke,Thomas:NoMoRe:答案集语义下的非单调推理系统(2001)