很遗憾，研讨会已取消！

概述

KInAR是关于知识密集型自动推理，处理自动推理在大型知识库和复杂理论上的应用。

有关KInAR 2014的详细信息，请访问KInAR 2014网站.

文件征集

文件征集

重要日期

提交截止日期：	2014年4月28日
审查截止日期：	2014年5月10日
通知作者：	2014年5月12日
摄像头就绪版本：	2014年5月26日
KInAR车间：	2014年7月17日

组织

项目委员会