zbMATH中的参考文献（参考 168篇文章，1标准件)

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）