一般信息
这个第13次《公约》执行情况国际讲习班逻辑将于2018年11月与第二十二国际编程逻辑会议，人工智能与推理，于这个海尔度假区埃塞俄比亚阿瓦萨。
我们正在寻找描述实现的贡献自动推理技术及其实现各种逻辑的程序、定理证明程序、逻辑编程系统和相关技术。主题利息包括但不限于：
- 命题逻辑和决策程序，包括SMT
- 一阶和高阶逻辑
- 非经典逻辑，包括模态逻辑、时序逻辑、，描述，非单调推理
- 有效实现逻辑的形式基础
- 高效的数据结构和算法逻辑概念的表示与处理
- 验证/模型搜索组织和启发逻辑推理系统
- 数据分析和机器学习方法搜索控制
- 证明/模型搜索可视化和分析
- 实际约束处理
- 使用本体和其他大型推理理论
- 高效定理证明器和模型的实现不同逻辑的查找器
- 逻辑推理系统的系统描述
- 可靠性、证人生成和证人验证
- 校准仪和其他设备的评估和基准测试基于逻辑的系统
- I/O标准和推理之间的通信系统
我们对有帮助的贡献特别感兴趣社区了解如何构建有用的强大的推理系统，以及如何将其应用于实践。
重要日期
| 论文/摘要提交截止日期（第一轮）： |
2018年10月1日 |
| 作者通知（第一轮）： |
2018年10月12日 |
| 论文/摘要提交截止日期（第二轮）： |
2018年10月11日 |
| 作者通知（第二轮）： |
2018年10月19日 |
| 到期的照相/摄像机可读纸版本： |
2018年10月29日 |
| 研讨会： |
2018年11月16日 |
提交
邀请有兴趣参与的研究人员提交一份立场声明（2页）、一份短文（向上）至5页），或通过IWIL-2018 EasyChair页面.
提交文件将是由项目委员会推荐，该委员会将选择高质量贡献的平衡计划。
提交文件应采用标准的PDF格式。最终需要在LaTeX中使用这个easychair.cls软件最后的会议记录将作为一卷出版属于卡尔帕出版物在里面计算.
诉讼
这个IWIL-2018年诉讼已作为Kalpa计算机出版物的一部分出版第9卷。
程序
受邀演讲者
我将首先简要概述这项研究年MSR RiSE小组正在进行的项目雷蒙德。重点是那些与研讨会的核心主题相关：应用逻辑推理。我将详细讨论一些我更熟悉的项目。
完整程序
这个满的程序现已在LPAR/IWIL智能现场。
项目委员会
以前的研讨会
- 留尼汪车间（与LPAR 2000于留尼汪岛）
- 第二车间（古巴哈瓦那LPAR 2001）
- 第三车间（与格鲁吉亚第比利斯LPAR2002一起）
- 第四车间（2003年阿拉木图LPAR，哈萨克斯坦）
- 第五车间（2004年蒙得维的亚LPAR，乌拉圭）
- 第六名车间（与金边的LPAR2006合作，柬埔寨）
- 第七车间（2008年多哈LPAR，卡塔尔）
- 第八车间（印尼日惹LPAR 2010）
- 第九名车间（梅里达2012年LPAR，委内瑞拉）
- 第十名车间（2013年斯泰伦博世LPAR，南非）
- 第十一车间（2015年苏瓦LPAR，斐济）
- 第十二名车间（博茨瓦纳莫恩2017年LPAR）
