ARQNL公司
2016
量化非经典逻辑中的自动推理
第二届国际研讨会(与2016年IJCAR相关)
2016年7月1日,葡萄牙科英布拉
主页
计划
文件征集
方案委员会
联系我们
重要日期
摘要的提交
2016年5月2日(
扩展!
)
论文的提交
2016年5月9日(
扩展!
)
作者通知
2016年5月30日
最终论文版本
2016年6月13日
研讨会日期
2016年7月1日
有用的链接
海报/召集文件
ARQNL-2016.pdf(92 KB)
IJCAR网站
2016年国际JCAR
联系我们
组织者
克里斯托夫·本兹穆勒
,
柏林弗雷大学
c.benzmueller@fu
-柏林.de
延斯·奥顿
奥斯陆大学
jeotten@ifi
.uio.no号