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 41st ICLP, held on 12-19 September 2025 at the University of Calabria in Rende, Italy. 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 three submission tracks of ICLP 2025: the Main track, IJCAI fast track, and Recently Published Research track.
翻译:自1982年马赛首届会议举办以来,国际逻辑编程会议(ICLP)始终是展示逻辑编程研究成果的首要国际学术活动。本论文集收录了第41届ICLP的技术通讯,该会议于2025年9月12日至19日在意大利伦德卡拉布里亚大学举行。本卷收录的论文与扩展摘要涵盖以下领域与主题:理论基础、语言设计与编程方法论、程序分析与优化、应用及实现方法论。本卷收录的论文来自ICLP 2025的三个投稿方向:主轨道、IJCAI快速通道轨道以及近期发表研究轨道。