动机
非经典逻辑——如模态逻辑、条件逻辑、，直觉逻辑、描述逻辑、时序逻辑、线性逻辑，动态逻辑、模糊逻辑、次协调逻辑、关联逻辑在人工智能、计算机科学、哲学、语言学方面有许多应用和数学。因此，这些逻辑中的证明搜索自动化是一项至关重要的任务。
目标和范围
ARQNL研讨会旨在促进验证性结石的发展，各种类型的自动定理证明系统和模型查找器量化的非经典逻辑。研讨会将为研究人员介绍并讨论该领域的最新发展。贡献可能从理论到系统描述，以及实现。捐款还可以概述相关申请，描述问题形式化、示例问题和基准。我们欢迎计算机科学家、语言学家、，哲学家和数学家。
ARQNL研讨会的主题将涵盖与量化的非经典逻辑的机械化和自动化，包括但不限于：
- 证明理论、语义学、元理论和删减
- 证明搜索计算，包括序列计算、表结石，连接结石，分辨率结石，和基于实例的计算
- 模态逻辑、条件逻辑、直觉逻辑、，描述逻辑、时序逻辑、线性逻辑、，多值逻辑、动态逻辑、模糊逻辑，次协调逻辑、关联逻辑、自由逻辑、，和自然逻辑
- 应对的技术、策略和启发式方法一阶或高阶量化
- 定理证明器的实现和实验评价
- 定理证明器的问题库和基准测试
- 应用程序、形式化和示例问题
- 用户界面、证明表示和语法问题
2016年ARQNL将成为国际自动推理联合会议
2016年国际JCAR位于葡萄牙科英布拉。
以前的研讨会