LLM2D
第40届国际逻辑编程会议论文集
Proceedings 40th International Conference on Logic Programming
作者: Pedro Cabalar (University of Coru\~na), Francesco Fabiano (New Mexico State University), Martin Gebser (University of Klagenfurt), Gopal Gupta (University of Texas at Dallas), Theresa Swift (Johns Hopkins Applied Physics Laboratory)
发布日期: 2/13/2025
arXiv ID: oai:arXiv.org:2502.08453v1

摘要

arXiv:2502.08453v1 会议类型: 跨领域 摘要: 自从1982年在马赛举行的第一次会议以来,国际逻辑编程会议(ICLP)一直是逻辑编程研究的顶级国际盛会。这些论文集包含了在2023年10月14日至17日于美国德克萨斯州达拉斯举行的第40届ICLP上的技术通讯和会议摘要。本卷中的论文和摘要涵盖了以下领域和主题。 形式和操作语义:包括非单调推理、概率推理、论证以及将逻辑与神经模型结合的语义问题。 语言设计与编程方法论,如回答集编程、归纳逻辑编程、概率编程。 程序分析和基于逻辑验证生成的程序。 实现方法论,包括约束实现、表处理、基于逻辑的提示工程,以及逻辑编程与LLMs的交互。