模型

CMODES是一种计算包含析取逻辑程序或包含选择规则的逻辑程序的答案集的系统。答案集求解器CMASL使用SAT求解器作为搜索引擎来枚举逻辑程序的模型-可能的解决方案,在分离程序的情况下,SAT求解器ZCHAFF也用于验证找到模型的最小性。系统模型是基于两个语义之间的关系:逻辑程序的答案集和完成语义。对于大类称为紧的程序,答案集语义等价于完成语义,因此可以通过SAT求解器枚举这样的程序的答案集。另一方面,对于非紧程序〔6〕和〔7〕引入了环路公式的概念,并证明了由程序的所有循环公式扩展完成的模型等价于TH的答案集。E程序。不幸的是,循环公式的数量可能很大,因此计算它们可能会变得昂贵。这导致采用算法来计算循环公式“按需”,以找到程序的答案集。


ZBMaCT中的参考文献(65篇文章中引用)

显示结果1至20的65。
按年份排序(引文
  1. 盖尔方德,米迦勒;张,Yuanlin:ASP语言中的恶性循环原理、集合和集合的形成(2019)
  2. Alviano,马里奥;多达罗,卡迈恩;马拉泰阿,马珂:回答集编程中的共享集合集(2018)
  3. Lierler,Yulya:什么是命题集规划命题可满足性(2017)
  4. 张、Heng、张、严:一般稳定模型语义学下逻辑程序的表现性(2017)
  5. 周,Yi;张,严:一阶逻辑程序的渐进语义(2017)
  6. Alviano,马里奥;DoDaO,卡迈恩:通过不可满足核收缩的任意时间回答集优化(2016)
  7. Brochenin,ReMI;马拉泰阿,马珂;Lierler,Yulya:通过模板的析取答案集求解器(2016)
  8. 多尔蒂,帕特里克;KvnnrTr.Om,乔纳斯;SZA- AS,塔尔科夫斯基:Kyne回答集程序的迭代支持公式和强支撑模型(扩展摘要)(2016)
  9. Alviano,马里奥;P.N.AloZa,拉斐尔:基于可满足性模理论的模糊回答集计算(2015)
  10. 费希特,Johannes Klaus;Szeider,斯特凡:后门到易于回答的答案集编程(2015)
  11. 费希特,Johannes K.;塞泽德,斯特凡:析取逻辑程序的后门常态(2015)
  12. 沃尔夫冈,J.R.Vasalo,Matti;沃尔纳,Johannes Peter;沃尔特兰,斯特凡:复杂敏感的抽象论证决策程序(2014)
  13. Alviano,马里奥;多达罗,卡迈恩;费伯,沃尔夫冈;Leone,尼古拉;里卡,弗朗西斯科:WASP:一种基于约束学习的原生ASP求解器(2013)伊波尔特
  14. 亚松森,弗农;林,方振;张,严;周,Yi:有限结构上一阶逻辑程序的有序完成(2012)
  15. 费伯,沃尔夫冈;Leone,尼古拉;佩里,Simona:DLV智能地雷(2012)
  16. Calimeri,弗朗西斯科;Ihani,里卡,弗朗西斯科;阿尔维亚诺,马里奥;Bria,Annamaria;卡塔拉诺,弗朗西斯科;Fabr,Of;FeBralo,OnfoRo;Leone;皮尔弗朗西斯科:第三个答案集编程竞赛:系统竞赛轨道的初步报告(2011)伊波尔特
  17. Erdem,ESRA:答案集编程在系统发育分类学中的应用(2011)伊波尔特
  18. 费伯,沃尔夫冈;普费菲,杰拉尔德;Leone,尼古拉:回答集编程中递归聚合的语义和复杂性(2011)
  19. 马立克、Victor W.、Niemel、伊尔卡、特鲁兹齐·斯基、米罗斯·奥斯:答案集编程的起源——一些背景和两个个人账户(2011)
  20. Tu,Phan Huy;儿子,Tran Cao;盖尔方德,米迦勒;莫拉莱斯,A. Ricardo:行动理论的近似及其在一致性规划中的应用(2011)