阿萨德

ASSAT是一个利用SAT求解器计算逻辑程序答案集的系统。简单地说,给定一个基本逻辑程序P,ASSAT(X),取决于所使用的SAT解算器X,其工作原理如下:计算P的完成并将其转换为一组C子句。在C上重复调用X以获得模型M(如果不存在这样的M,则以失败终止)。如果M是P的答案集,则返回它。另外,在P中找到一些循环公式不满足M的循环,并将它们的相应子句添加到C中。


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

显示169个结果中的1到20个。
按年份排序(引用)

1 2 ... 7 8 9 下一个

  1. 范迪诺,豪尔赫;舒尔茨,克劳迪娅:回答集编程中的“为什么”——解释方法调查(2019)
  2. 盖尔方德,迈克尔;张元林:《ASP语言中的恶性循环原理、聚合与集合形成》(2019)
  3. Lifschitz,Vladimir:答案集编程(2019)
  4. Sharma,Arpit:在Winograd schema challenge中使用答案集编程进行常识推理(2019)
  5. ü勒尔,彼得(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  6. Alviano,Mario:通过不满足核心分析在命题限制中的模型枚举(2017)
  7. 列夫è呃,克莱尔;Bé阿特里斯,克里斯托弗;Sté潘,伊戈尔;Garcia,Laurent:\textscASPeRiX,答案集计算的一阶前向链接方法(2017)
  8. Lierer,Yuliya:什么是命题满足性的答案集编程(2017)
  9. 张衡;《通用逻辑下的程序逻辑》(2017)
  10. 周易;张燕:一阶逻辑程序的级数语义学(2017)
  11. 阿利奥特,让马克;人口学,罗伯特;Di公司é盖兹,马特ín;法利ñ德尔塞罗,路易斯;法夫尔,吉尔;费伊,让·查尔斯;奥贝德,纳吉;Sordet,Olivier:生物系统的时间逻辑建模(2016)
  12. 阿利奥特,让马克;Di公司é盖兹,马特ín;法利ñas del Cerro,Luis:代谢途径作为时间逻辑程序(2016)
  13. 卡利梅里,弗朗西斯科;格布瑟,马丁;马拉提亚,马可;Ricca,Francesco:第五届答案集编程大赛(2016)的设计与结果
  14. 多尔蒂,帕特里克;克瓦恩斯特öm、 乔纳斯;深圳łas,Andrzej:Kleene答案集程序的迭代支持公式和强支持模型(扩展摘要)(2016)
  15. 巴林特,阿德里安;贝洛夫,安东;Jä阿维萨洛,马蒂;Sinz,Carsten:2012年SAT挑战赛解算器竞赛(2015)概述与分析ioport公司
  16. 博加茨,巴特;Van den Broeck,Guy:使用近似不动点理论进行逻辑程序的知识编译(2015)
  17. 费希特,约翰内斯克劳斯;Szeider,Stefan:可处理答案集编程的后门(2015)
  18. 费希特,约翰尼斯K。;Szeider,Stefan:《析取逻辑程序的正常化后门》(2015)
  19. 费伦斯,达安;范登布罗克,伙计;伦肯,乔里斯;施特里奥诺夫,迪米特尔;古特曼,伯恩德;丁字裤、英戈;詹森,格达;De Raedt,Luc:使用加权布尔公式在概率逻辑程序中进行推理和学习(2015)
  20. 格布瑟,马丁;简胡南,托米;乔斯特,霍尔格;卡明斯基,罗兰;Schaub,Torsten:扩展宇宙的ASP解决方案(2015)

1 2 ... 7 8 9 下一个


更多出版物请访问:http://assat.cs.ust.hk/#出版物