《直觉主义时序逻辑在时序答案集编程中的应用》论文深度分析总结本文(arXiv:2603.14692v1,投稿于 Theory and Practice of Logic Programming, TPLP)由西班牙拉科鲁尼亚大学的 Pedro Cabalar、法国昂热大学的 Martín Diéguez 与 Igor Stéphan、巴塞罗那大学的 David Fernández-Duque、德国波茨坦大学与 Potassco Solutions 的 Torsten Schaub 以及 François Laferrière 合著。作者团队汇聚了答案集编程(ASP