阿萨特

ASAT(SAT求解器的答案集)是一个通过使用SAT求解器计算逻辑程序的答案集的系统。简单地说,给定一个地面逻辑程序P,AsAAT(x),取决于所使用的SAT求解器,其工作如下:计算P的完成并将其转换成子句的集合C。重复调用C上的X以获得模型M(如果不存在M,则以失败终止)。如果M是P的答案集,那么用它返回。否则,在P中找到一些循环,其循环公式不满足M,并将相应的子句添加到C中。


ZBMaX中的参考文献(168篇)1标准条款

显示结果1至20的168。
按年份排序(引文
  1. Fandinno、豪尔赫、舒尔茨、克劳蒂亚:回答答案集编程中的“为什么”——解释方法综述(2019)
  2. 盖尔方德,米迦勒;张,Yuanlin:ASP语言中的恶性循环原理、集合和集合的形成(2019)
  3. Lifschitz,弗拉迪米尔:回答集编程(2019)
  4. 夏尔马,ARPIT:在WooGrad模式挑战中使用常识集推理的答案集编程(2019)
  5. Müü勒,彼得(ED);舍费尔,INA(ED.):原则性软件开发。在他第六十岁生日的时候,献给阿瑟德。基于论文集的论文,德国凯撒斯劳滕,2018年11月(2018)
  6. Alviano,马里奥:命题不可数核分析中命题边界的模型枚举(2017)
  7. 克莱尔,B·阿特里克利斯,克里斯托弗;圣埃潘,Igor;加西亚,劳伦特:\TrimeScasPrxx,一组前向链式答案集计算方法(2017)
  8. Lierler,Yulya:什么是命题集规划命题可满足性(2017)
  9. 张、Heng、张、严:一般稳定模型语义学下逻辑程序的表现性(2017)
  10. 周,Yi;张,严:一阶逻辑程序的渐进语义(2017)
  11. 阿利奥特、Jean Marc、Demolombe、罗伯特、迪埃盖兹、马丁、Fari·纳斯·Cerro、路易斯、Favre、Pig、S.、Obeid、Naji、Soordt、S:生物系统的时间逻辑建模(2016)
  12. 阿利奥特、Jean Marc、迪埃盖兹、马丁、Fari·尼德尔·Cerro、路易斯:作为时间逻辑程序的代谢途径(2016)
  13. Calimeri,弗朗西斯科;Gebser,马丁;马拉泰阿,马珂;里卡,弗朗西斯科:第五个答案集编程竞赛的设计和结果(2016)
  14. 多尔蒂,帕特里克;KvnnrTr.Om,乔纳斯;SZA- AS,塔尔科夫斯基:Kyne回答集程序的迭代支持公式和强支撑模型(扩展摘要)(2016)
  15. 巴林特,阿德里安;Belov,Anton;J·拉维萨洛,Matti;辛茨,卡斯滕:SAT挑战赛2012解决方案竞赛的概述和分析(2015)伊波尔特
  16. Bogaerts,巴特;Van den Broeck,盖伊:使用近似不动点理论的逻辑程序知识汇编(2015)
  17. 费希特,Johannes Klaus;Szeider,斯特凡:后门到易于回答的答案集编程(2015)
  18. 费希特,Johannes K.;塞泽德,斯特凡:析取逻辑程序的后门常态(2015)
  19. Fierens,大安;Van den Broeck,盖伊;勒肯斯,Joris;谢特罗诺夫,迪米塔;古特曼,贝尔恩德;THON,Ingo;JassEnsS,Po.;Lu::使用加权布尔公式的概率逻辑程序中的推理和学习(2015)
  20. Gebser,马丁;Janhunen,托米河;约斯特,霍格尔;卡明斯基,罗兰;肖布,托斯滕:扩展宇宙的ASP解法(2015)

进一步的出版物可以在:http://asa.cs