ASP 最新进展追踪

ASP 最新进展周报（2026-07-15）：神经符号推理、LLM 自纠错与 ICLP/KR 临近

本期聚焦 2026 年 ASP 研究新作、clingo 工具版本、ICLP/KR 会议窗口，以及 LLM 与 ASP 融合的社区信号。