ZBMaX中的参考文献（168篇）1标准条款）

1. Fandinno、豪尔赫、舒尔茨、克劳蒂亚：回答答案集编程中的“为什么”——解释方法综述（2019）
2. 盖尔方德，米迦勒；张，Yuanlin：ASP语言中的恶性循环原理、集合和集合的形成（2019）
3. Lifschitz，弗拉迪米尔：回答集编程（2019）
4. 夏尔马，ARPIT：在WooGrad模式挑战中使用常识集推理的答案集编程（2019）
5. Müü勒，彼得（ED）；舍费尔，INA（ED.）：原则性软件开发。在他第六十岁生日的时候，献给阿瑟德。基于论文集的论文，德国凯撒斯劳滕，2018年11月（2018）
6. Alviano，马里奥：命题不可数核分析中命题边界的模型枚举（2017）
7. 克莱尔，B·阿特里克利斯，克里斯托弗；圣埃潘，Igor；加西亚，劳伦特：\TrimeScasPrxx，一组前向链式答案集计算方法（2017）
8. Lierler，Yulya:什么是命题集规划命题可满足性（2017）
9. 张、Heng、张、严：一般稳定模型语义学下逻辑程序的表现性（2017）
10. 周，Yi；张，严：一阶逻辑程序的渐进语义（2017）
11. 阿利奥特、Jean Marc、Demolombe、罗伯特、迪埃盖兹、马丁、Fari·纳斯·Cerro、路易斯、Favre、Pig、S.、Obeid、Naji、Soordt、S:生物系统的时间逻辑建模（2016）
12. 阿利奥特、Jean Marc、迪埃盖兹、马丁、Fari·尼德尔·Cerro、路易斯：作为时间逻辑程序的代谢途径（2016）
13. Calimeri，弗朗西斯科；Gebser，马丁；马拉泰阿，马珂；里卡，弗朗西斯科：第五个答案集编程竞赛的设计和结果（2016）
14. 多尔蒂，帕特里克；KvnnrTr.Om，乔纳斯；SZA- AS，塔尔科夫斯基：Kyne回答集程序的迭代支持公式和强支撑模型（扩展摘要）（2016）
15. 巴林特，阿德里安；Belov，Anton；J·拉维萨洛，Matti；辛茨，卡斯滕：SAT挑战赛2012解决方案竞赛的概述和分析（2015）伊波尔特
16. Bogaerts，巴特；Van den Broeck，盖伊：使用近似不动点理论的逻辑程序知识汇编（2015）
17. 费希特，Johannes Klaus；Szeider，斯特凡：后门到易于回答的答案集编程（2015）
18. 费希特，Johannes K.；塞泽德，斯特凡：析取逻辑程序的后门常态（2015）
19. Fierens，大安；Van den Broeck，盖伊；勒肯斯，Joris；谢特罗诺夫，迪米塔；古特曼，贝尔恩德；THON，Ingo；JassEnsS，Po.；Lu:：使用加权布尔公式的概率逻辑程序中的推理和学习（2015）
20. Gebser，马丁；Janhunen，托米河；约斯特，霍格尔；卡明斯基，罗兰；肖布，托斯滕：扩展宇宙的ASP解法（2015）