阿萨德

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


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

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

1 2 ... 7 8 9 下一个

  1. Fandinno,Jorge;Schulz,Claudia:回答集编程中的“为什么”——解释方法调查(2019)
  2. Gelfond,Michael;Zhang,Yuanlin:基于ASP的语言中的恶性循环原理、聚合和集合的形成(2019)
  3. Lifschitz,Vladimir:答案集编程(2019)
  4. Sharma,Arpit:在Winograd schema challenge中使用答案集编程进行常识推理(2019)
  5. Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  6. Alviano,Mario:通过不满足核心分析在命题限制中的模型枚举(2017)
  7. Lefèvre,Claire;Béatrix,Christopher;Stéphan,Igor;Garcia,Laurent:《答案集计算的一阶前向链接方法》(2017)
  8. Lierer,Yuliya:什么是命题满足性的答案集编程(2017)
  9. 张衡;张燕:一般稳定模型语义下逻辑程序的表现性(2017)
  10. 周毅;张燕:一阶逻辑程序的递进语义学(2017)
  11. 阿利奥特,让-马克;德莫洛贝,罗伯特;迪盖兹,马丁尼;法里尼亚斯·德尔塞罗,路易斯;法夫尔,吉勒;法耶,让-查尔斯;奥贝德,纳吉;索德特,奥利维尔:《生物系统的时间逻辑建模》(2016)
  12. Alliot,Jean-Marc;Diéguez,Martín;Fariñas del Cerro,Luis:代谢途径作为时间逻辑程序(2016)
  13. Calimeri,Francesco;Gebser,Martin;Marco Maratea;Ricca,Francesco:第五届答案集编程竞赛的设计和结果(2016)
  14. Patrick Doherty;Kvarnström,Jonas;Szałas,Andrzej:Kleene答案集程序的迭代支持公式和强支持模型(扩展摘要)(2016)
  15. Adrian Balint;Anton Belov;Matti Järvisalo;Carsten Sinz:2012年SAT挑战赛解算器竞赛概述与分析(2015)ioport公司
  16. Guy Broeck程序,Van Broeck,2015年使用Bogaert逻辑汇编
  17. Fichte,Johannes Klaus;Szeider,Stefan:可处理答案集编程的后门(2015)
  18. Fichte,Johannes K.;Szeider,Stefan:《析取逻辑程序的正常性后门》(2015)
  19. Daan Fierens;Guy;Renkens,Joris;Shterionov,Dimitar;Gutmann,Bernd;Thon,Ingo;Janssens,Gerda;De Raedt,Luc:使用加权布尔公式在概率逻辑程序中的推理和学习(2015)
  20. Gebser,Martin;Janhunen,Tomi;Jost,Holger;Kaminski,Roland;Schaub,Torsten:扩展宇宙的ASP解决方案(2015)

1 2 ... 7 8 9 下一个


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