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

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）