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