C模型

Cmodels是一个为析取逻辑程序或包含选择规则的逻辑程序计算答案集的系统。答案集解算器Cmodels使用SAT解算器作为搜索引擎来枚举逻辑程序的模型——可能的解决方案,对于析取程序,SAT solver zChaff也用于验证找到的模型的最小值。系统模型基于逻辑程序的回答集和完成语义之间的关系。对于称为stright的大类程序,答案集语义等价于完成语义,这样就可以通过SAT解算器来枚举此类程序的答案集。另一方面,对于不重要的程序[6]和[7]引入了循环公式的概念,并证明了由程序的所有循环公式扩展的完成模型等价于th!e程序。不恰当的循环公式数量可能很大,因此计算所有这些公式可能会变得计算开销。这就导致采用了“根据需要”计算循环公式来寻找程序答案集的算法。


zbMATH参考文献(参考 66篇文章 参考)

显示第1到第20个结果,共66个。
按年份排序(引用)
  1. Gelfond,Michael;Zhang,Yuanlin:基于ASP的语言中的恶性循环原理、聚合和集合的形成(2019)
  2. Mario Alviano;Carmine Dodaro;Marco Marotea:答案集编程中的共享聚合集(2018)
  3. Lierer,Yuliya:什么是命题满足性的答案集编程(2017)
  4. 张衡;张燕:一般稳定模型语义下逻辑程序的表现性(2017)
  5. 周毅;张燕:一阶逻辑程序的递进语义学(2017)
  6. Alviano,Mario;Dodaro,Carmine:Anytime Anytime Anytime Anytime Anytime Anytime Anywhere Anytime Anything set optimization via Unsatifiable core收缩(2016年),马里奥;多达罗,卡敏
  7. Brochenin,Remi;marotea,Marco;lieler,Yuliya:通过模板的析取答案集求解器(2016)
  8. Patrick Doherty;Kvarnström,Jonas;Szałas,Andrzej:Kleene答案集程序的迭代支持公式和强支持模型(扩展摘要)(2016)
  9. Alviano,Mario;Peñaloza,Rafael:通过可满足模理论进行模糊答案集计算(2015)
  10. Fichte,Johannes Klaus;Szeider,Stefan:可处理答案集编程的后门(2015)
  11. Fichte,Johannes K.;Szeider,Stefan:《析取逻辑程序的正常性后门》(2015)
  12. Dvořak,Wolfgang;Järvisalo,Matti;Wallner,Johannes Peter;Woltran,Stefan:抽象论证的复杂性敏感决策程序(2014)
  13. Mario Alviano;Dodaro,Carmine;Faber,Wolfgang;Leone,Nicola;Ricca,Francesco:基于约束学习的原生ASP解算器(2013)ioport公司
  14. 亚松森,弗农;林芳珍;张,严;周,易:有限结构上一阶逻辑程序的有序完成(2012)
  15. Faber,Wolfgang;Leon,Nicola;Perri,Simona:DLV的智能地滚球(2012)
  16. 卡里梅里,弗朗西斯科;伊安尼,乔瓦姆巴蒂斯塔;里卡,弗朗西斯科;阿尔维亚诺,马里奥;布里亚,安娜玛丽亚;卡塔拉诺,盖尔索米纳;科扎,苏珊娜;费伯,沃尔夫冈;费布拉罗,奥诺弗里奥;利昂,尼古拉;曼娜,马可;马尔泰洛,亚历桑德拉;帕内塔,克劳迪奥;佩里,西蒙娜;雷亚尔,克里斯蒂安;桑托罗,玛丽亚·卡梅拉;西里亚尼,马可;泰拉契纳,乔治;维尔特里,皮尔弗兰切斯科:第三届答案集编程竞赛:系统竞赛赛道初步报告(2011)ioport公司
  17. Erdem,Esra:答案集编程在系统发育系统学中的应用(2011)ioport公司
  18. Faber,Wolfgang;Pfeifer,Gerald;Leon,Nicola:《答案集编程中递归聚合的语义和复杂性》(2011)
  19. Janhunen,Tomi;Niemelä,Ilkka:命题从句的非析取答案集程序的紧凑翻译(2011)
  20. Marek,Victor W.;Niemelä,Ilkka;Truszczynski,Mirosław:答案集编程的起源——一些背景和两个个人账户(2011)