IJCAR 2020已经结束!您可以在以下播放列表中观看YouTube直播流的录制:第1天,第2天,第3天,第4天.
明年见美国匹兹堡CADE-28、和以色列海法IJCAR-11!
这个国际自动推理联合会议(国际JCAR)是关于自动推理所有主题的首要国际联合会议。IJCAR 2020技术计划将包括高质量原创研究论文的演示、描述正在进行的有趣工作的短文、系统描述和受邀演讲。
IJCAR 2020是IJCAR的第10版。它将在巴黎(法国)举行,并将与FSCD 2020以及一些研讨会和相关活动。
有关的更多信息IJCAR-FSCD 2020联合会议网站.
IJCAR 2020是以下自动化推理领先事件的合并:
这个文件征集可以以纯文本格式下载。
论文集将由Springer在LNAI子系列LNCS公司以前的IJCAR程序可用在这里.
电脑椅报告(pdf)