喘息

答案集编程在最近几年里,作为知识表示和推理应用的一个可行的范例,答案集编程已经得到了广泛的应用。本文提出了一种计算答案集程序答案集的新方法。所提出的方法保持了自下而上的方法来计算答案集(就像在现有系统中一样),但是它使用了一种新的计算结构,这种结构源自程序的非基础版本。在计算答案集的过程中,接地是惰性的。在有限域上实现了有限逻辑实现。


zbMATH中的参考文献(引用于,1标准件)

显示结果1到11,共11个。
按年份排序(引用)

  1. Calimeri,Francesco;Ianni,Giovambattista;Pacenza,Francesco;Perri,Simona;Zangari,Jessica:overgrounding的增量答案集编程(2019)
  2. Bernardo Cuteri;Dodaro,Carmine;Ricca,Francesco;Schüller,Peter:ASP程序的部分编译(2019年)
  3. Arias,Joaquin;Carro,Manuel;Salazar,Elmer;Marple,Kyle;Gupta,Gopal:无基础约束答案集编程(2018)
  4. Lefèvre,Claire;Béatrix,Christopher;Stéphan,Igor;Garcia,Laurent:《答案集计算的一阶前向链接方法》(2017)
  5. Manuel Bichler;Michael Morak;Woltran,Stefan:答案集编程中非基本规则的力量(2016)
  6. Calimeri,Francesco;Gebser,Martin;Marco Maratea;Ricca,Francesco:第五届答案集编程竞赛的设计和结果(2016)
  7. Thomas Eiter;Fink,Michael;Ianni,Giovambattista;Krennwallner,Thomas;Redl,Christoph;Schüller,Peter:带外部计算的答案集编程模型构建框架(2016)
  8. 卡里梅里,弗朗西斯科;伊安尼,乔瓦姆巴蒂斯塔;里卡,弗朗西斯科;阿尔维亚诺,马里奥;布里亚,安娜玛丽亚;卡塔拉诺,盖尔索米纳;科扎,苏珊娜;费伯,沃尔夫冈;费布拉罗,奥诺弗里奥;利昂,尼古拉;曼娜,马可;马尔泰洛,亚历桑德拉;帕内塔,克劳迪奥;佩里,西蒙娜;雷亚尔,克里斯蒂安;桑托罗,玛丽亚·卡梅拉;西里亚尼,马可;泰拉契纳,乔治;维尔特里,皮尔弗兰切斯科:第三届答案集编程竞赛:系统竞赛赛道初步报告(2011)ioport公司
  9. Dal Palù,Alessandro;Dovier,Agostino;Pontelli,Enrico;Rossi,Gianfranco:GASP:答案集编程与惰性接地(2009)
  10. 艾特,托马斯;伊尼,乔瓦姆巴蒂斯塔;克伦沃纳,托马斯:答案集编程:入门(2009)
  11. Lefèvre,Claire;Nicolas,Pascal:在答案集计算的搜索过程中整合基础(2008)