weixin_36184718的博客

本书是第14届国际会议LPAR 2007的会议记录，涵盖程序设计、人工智能和推理逻辑领域的最新研究。会议由特拉维夫大学的Nachum Dershowitz和曼彻斯特大学的Andrei Voronkov编辑，于2007年10月15日至19日在亚美尼亚埃里温举行。会议起源于1990年和1991年的俄罗斯逻辑编程会议，随后扩展为逻辑编程与自动化推理（LPAR）。本书收录了78篇提交论文中的36篇，以及Johann Makowsky、Helmut Veith和Richard Waldinger的特邀报告。此外，还包括了关于逻辑工具箱、空洞真理概念以及演绎问答系统发展的特邀报告。