KR是首屈一指的知识表示和推理国际会议。与一般AI会议相比,KR会议系列为研究人员研究由推理算法操纵的知识的显式表示提供了更为私密的环境,这为从事人工智能,计算机科学和软件工程的大量工作提供了重要基础。会议强调了知识表示和推理的理论原理以及这些原理及其在工作系统中的实施方式之间的关系。 官网地址:http://dblp.uni-trier.de/db/conf/kr/
今日大暑 · 浮瓜沉李,枕书消夏 | 文末有福利
华章管理
0+阅读 · 2017年7月22日
古埃及的太阳神,或许是个屎壳郎
果壳网
0+阅读 · 2018年12月1日
把企鹅从南半球带到北半球,需要倒时差吗?
「氪星登场」,圆你一个短视频梦想!
36氪
0+阅读 · 2020年7月2日
人生管理,就是目标管理——管理工具大盘点
华章管理
1+阅读 · 2019年3月12日
给贾跃亭和许家印算笔账 究竟谁是赢家?
腾讯科技
0+阅读 · 2019年1月4日
当KPI遇上OKR, 高薪产品总监们都是如何选择的?
人人都是产品经理
1+阅读 · 2019年2月25日
“旅行青蛙”凭什么牵动我们的心?
腾讯科技
0+阅读 · 2018年1月23日
90后「成人」的第一步:不怂
36氪
0+阅读 · 2019年11月15日
一行代码监测FPS/内存/CPU
CocoaChina
0+阅读 · 2018年7月22日
参考链接
父主题
微信扫码咨询专知VIP会员