第42届国际逻辑编程会议论文集
Proceedings 42nd International Conference on Logic Programming
浏览论文内容
中文总结 AI 辅助
介绍第42届国际逻辑编程会议论文集，涵盖理论基础等多领域主题，包含主轨道和最近发表研究轨道的论文，展示了逻辑编程研究成果。
中文摘要 AI 辅助
自1982年在马赛召开首届会议以来，国际逻辑编程会议（ICLP）一直是展示逻辑编程研究的首要国际盛会。这些论文集包含了第42届ICLP的技术通讯，该会议于2026年7月20日至23日在葡萄牙里斯本作为FLoC 2026的一部分举行。本卷中的论文和扩展摘要涉及理论基础、语言设计与编程方法、程序分析与优化、应用与实现方法等领域和主题。本卷收录了2026年ICLP两个投稿轨道的论文：主轨道和最近发表的研究轨道。
英文摘要
Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include the Technical Communications of the 42nd ICLP, held 20-23 July 2026 as part of FLoC 2026 in Lisbon, Portugal. The papers and extended abstracts in this volume address the following areas and topics: theoretical foundations, language design and programming methodologies, program analysis and optimization, applications and implementation methodologies. This volume features contributions to two submission tracks of ICLP 2026: the Main track and the Recently Published Research track.
