zbMATH中的参考文献（参考文献56条,1标准件)

1. Hecher，Markus:Treewidth-aware reduced of normal\textscSAT-是否normal\textscap比\textscSAT更危险？（2022年）
2. 阿蒙多拉，乔凡尼；多达罗，胭脂红；费伯，沃尔夫冈；Ricca，Francesco:次相干答案集计算（2021）
3. 贝托鲁奇，里卡多；卡皮塔内利，阿莱西奥；多达罗，胭脂红；利昂，尼古拉；马拉提亚，马可；马斯特罗乔瓦尼，富尔维奥；Vallati，Mauro:通过答案集编程使用双臂机器人操纵关节物体（2021）
4. 卡利梅里，弗朗西斯科；卡特鲁乔，弗朗西斯科；西内利，卢卡；马尔祖罗，阿尔多；雄蕊，克劳迪奥；泰拉契纳，乔治；杜兰德杜比夫，弗朗索瓦；Sappey Marinier，Dominique:利用神经网络研究神经疾病进化的逻辑框架（2021）
5. 利勒，尤利娅；Robbins，Justin:DualGrounder:通过clingo multi-shot框架延迟实例化（2021）
6. 阿尔维亚诺，马里奥；Dodaro，Carmine:不满意的核心分析和最佳稳定模型搜索的聚集（2020）
7. 阿蒙多拉，乔凡尼；里卡，弗朗西斯科；Truszczynski，Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型（2020）
8. 比奇勒，曼努埃尔；莫拉克，迈克尔；沃尔特兰，斯特凡：selp：一个一次性的认知逻辑程序求解器（2020）
9. 波曼森，乔里；Janhunen，Tomi:用加权比较器网络促进答案集优化（2020）
10. 卡利梅里，弗朗西斯科；多达罗，胭脂红；达斯卡，戴维德；佩里，西蒙娜；Zangari，Jessica:技术说明。高效耦合（\mathscrI）-DLV地滚球与ASP解算器（2020）
11. 德沃夫，狼；Bogaerts，Bart:\ textscp2pb:将答案集程序转换为伪布尔理论（2020）
12. 多达罗，胭脂红；艾特，托马斯；奥格里斯，保罗；Schekotihin，Konstantin:用强化学习管理流推理的缓存策略（2020）
13. 多达罗，胭脂红；Ricca，Francesco：扩展WASP的外部接口（2020）
14. 格布瑟，马丁；马拉提亚，马可；Ricca，Francesco:第七届答案集编程竞赛：设计与结果（2020）
15. 伊安尼，乔瓦姆巴蒂斯塔；帕森扎，弗朗西斯科；Zangari，Jessica:用定制简化对过度接地逻辑程序进行增量维护（2020）
16. 温齐尔，安东尼乌斯；灰褐色，理查德；Friedrich，Gerhard:推进惰性接地ASP解决技术——重新启动、阶段节省、启发式等（2020）
17. 阿尔维亚诺，马里奥；阿蒙多拉，乔凡尼；多达罗，胭脂红；利昂，尼古拉；马拉提亚，马可；Ricca，Francesco:WASP中析取程序的评估（2019）
18. 阿尔维亚诺，马里奥；多达罗，胭脂红；费希特，约翰尼斯K。；赫彻，马库斯；菲利浦，托比亚斯；Rath，Jakob:ASP的不一致性证明：ASP-DRUPE格式（2019）
19. 阿尔维亚诺，马里奥；Faber，Wolfgang:广义原子逻辑程序的链答案集（2019）
20. 阿尔维亚诺，马里奥；利昂，尼古拉；维尔特里，皮尔弗兰切斯科；Zangari，Jessica:增强魔术集与本体论推理的应用（2019）