阿萨德

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


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

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

1 2 ... 7 8 9 下一个

  1. Hecher,Markus:Treewidth-aware reduced of normal\textscSAT-是否normal\textscap比\textscSAT更危险?(2022年)
  2. 多尔蒂,帕特里克;Szalas,Andrzej:使用答案集程序的粗糙集推理(2021)
  3. 卢特伯格,比约纳尔;克莱森,科恩;约翰森,基督徒;Steffen,Martin:SAT模离散事件仿真在铁路设计能力分析中的应用(2021)
  4. 萨里巴图,Zeynep G。;托马斯.艾特:答案集程序的基于省略的抽象(2021)
  5. 萨里巴图,Zeynep G。;艾特,托马斯;Schüller,Peter:非地面答案集程序的抽象(2021)
  6. 德沃夫,狼;Bogaerts,Bart:\ textscp2pb:将答案集程序转换为伪布尔理论(2020)
  7. 范迪诺,豪尔赫;舒尔茨,克劳迪娅:回答集编程中的“为什么”——解释方法调查(2019)
  8. 盖尔方德,迈克尔;张元林:《ASP语言中的恶性循环原理、聚合与集合形成》(2019)
  9. Lifschitz,Vladimir:答案集编程(2019)
  10. Sharma,Arpit:在Winograd schema challenge中使用答案集编程进行常识推理(2019)
  11. 穆勒,彼得(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  12. Alviano,Mario:通过不满足核心分析在命题限制中的模型枚举(2017)
  13. 莱弗尔,克莱尔;Béatrix,克里斯托弗;圣潘,伊戈尔;Garcia,Laurent:\textscASPeRiX,答案集计算的一阶前向链接方法(2017)
  14. Lierer,Yuliya:什么是命题满足性的答案集编程(2017)
  15. 张衡;张燕:一般稳定模型语义下逻辑程序的表现性(2017)
  16. 周易;张燕:一阶逻辑程序的级数语义学(2017)
  17. 阿利奥特,让马克;人口学,罗伯特;迪格斯,马丁尼;法里尼亚斯德尔塞罗,路易斯;法夫尔,吉尔;费伊,让·查尔斯;奥贝德,纳吉;Sordet,Olivier:生物系统的时间逻辑建模(2016)
  18. 阿利奥特,让马克;迪格斯,马丁尼;Fariñas del Cerro,Luis:代谢途径作为时间逻辑程序(2016)
  19. 卡利梅里,弗朗西斯科;格布瑟,马丁;马拉提亚,马可;Ricca,Francesco:第五届答案集编程大赛(2016)的设计与结果
  20. 多尔蒂,帕特里克;科瓦恩斯特伦,乔纳斯;Szałas,Andrzej:Kleene答案集程序的迭代支持公式和强支持模型(扩展摘要)(2016)

1 2 ... 7 8 9 下一个


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