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

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）