逻辑编程领域顶级会议论文集，涵盖语义、语言设计与大模型融合等前沿方向。
Proceedings 40th International Conference on Logic Programming
- 聚焦逻辑编程的语义建模与程序验证方法
- 探索逻辑与神经网络结合的新范式
- 适合逻辑编程与AI交叉研究者阅读
自1982年首次在马赛举办以来，国际逻辑编程会议（ICLP）一直是逻辑编程研究的顶级国际盛会。本次第40届ICLP于2024年10月14日至17日在德克萨斯州达拉斯举行，收录了技术论文及报告摘要，内容涵盖形式与操作语义（包括非单调推理、概率推理、论证理论，以及逻辑与神经模型融合的语义问题）、语言设计与编程方法（如答案集编程、归纳逻辑编程、概率编程）、程序分析与生成程序的逻辑验证、实现方法（包括约束求解、制表法、基于逻辑的提示工程，以及逻辑编程与大语言模型的交互）。
原文摘要 · Abstract (English)
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 technical communications about, and abstracts for presentations given at the 40th ICLP held October 14-17, in Dallas Texas, USA. The papers and abstracts in this volume include the following areas and topics. Formal and operational semantics: including non-monotonic reasoning, probabilistic reasoning, argumentation, and semantic issues of combining logic with neural models. Language design and programming methodologies such as answer set programming. inductive logic programming, and probabilistic programming. Program analysis and logic-based validation of generated programs. Implementation methodologies including constraint implementation, tabling, Logic-based prompt engineering, and the interaction of logic programming with LLMs.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。