GNT公司

GnT是析取逻辑程序的稳定模型语义的实验实现[Gelfond和Lifschitz,1991]。我们的实现基于一个由两个相互作用的smodels解算器组成的体系结构,用于非析取程序。其中一个负责生成尽可能好的模型候选者,而另一个负责根据不分离稳定模型的要求检查最小值。


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

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. 季建民;林芳珍:特纳的普遍因果逻辑、命题逻辑与逻辑程序设计(2013)
  2. 卡里梅里,弗朗西斯科;伊安尼,乔瓦姆巴蒂斯塔;里卡,弗朗西斯科;阿尔维亚诺,马里奥;布里亚,安娜玛丽亚;卡塔拉诺,盖尔索米纳;科扎,苏珊娜;费伯,沃尔夫冈;费布拉罗,奥诺弗里奥;利昂,尼古拉;曼娜,马可;马尔泰洛,亚历桑德拉;帕内塔,克劳迪奥;佩里,西蒙娜;雷亚尔,克里斯蒂安;桑托罗,玛丽亚·卡梅拉;西里亚尼,马可;泰拉契纳,乔治;维尔特里,皮尔弗兰切斯科:第三届答案集编程竞赛:系统竞赛赛道初步报告(2011)ioport公司
  3. Faber,Wolfgang;Leon,Nicola;Marco Maratea;Ricca,Francesco:ASP程序的聚合回溯技术(2011)
  4. Fink,Michael:here and there逻辑中反模型在答案集编程中等价的一般框架(2011)
  5. Brummayer,Robert;Järvisalo,Matti:答案集求解器开发的测试和调试技术(2010)
  6. Bria,Annamaria;Faber,Wolfgang;Leone,Nicola:NFN2DLP和nfnsolve:标准形式嵌套程序编译器和求解器(2009)ioport公司
  7. Bria,Annamaria;Faber,Wolfgang;Leon,Nicola:标准形式嵌套程序(2008)
  8. Calimeri,F.;Perri,S.;Ricca,F.:试验ASP程序实例化的并行性(2008)
  9. Fink,Michael:here and there逻辑中反模型在答案集编程中的等价性(2008)
  10. Philipp Kärger;Lopes,Nuno;Olmedilla,Daniel;Polleres,Axel:走向有序与无序分离的逻辑程序(2008)
  11. Marco Maratea;Ricca,Francesco;Faber,Wolfgang;Leone,Nicola:《DLV中的回溯技术和启发式:实施、评估和与QBF解算器的比较》(2008)
  12. Perri,Simona;Ricca,Francesco;Vescio,Saverio:通过动态重写实现高效的并行ASP实例化(2008)
  13. 沃尔特,斯科特:赫尔曼·明科夫斯基的物理学方法(2008)
  14. Faber,Wolfgang;Leon,Nicola;Marco Maratea;Ricca,Francesco:在硬ASP程序中尝试回溯启发式(2007)
  15. Ricca,Francesco;Leone,Nicola:带类型和对象的析取逻辑程序设计:(\mathrmDLV^+)系统(2007)
  16. Calimeri,Francesco;Ianni,Giovambattista:析取逻辑编程的模板程序:操作语义学(2006)
  17. Giunciglia,Enrico;Lierer,Yuliya;Marotea,Marco:基于命题可满足性的答案集编程(2006)
  18. Janhunen,Tomi;Niemelä,Ilkka:GNT——析取逻辑程序的求解器(2004)
  19. Janhunen,Tomi;Oikarinen,Emilia:LPEQ和DLPEQ——逻辑程序自动等价性测试的翻译人员(2004)
  20. Oikarinen,Emilia;Janhunen,Tomi:在析取案例中验证逻辑程序的等价性(2004)

更多出版物请访问:http://www.tcs.hut.fi/Publications/