François Schwarzentruber是法国雷恩（ENS Rennes）副教授。 他目前的研究兴趣主要集中在逻辑理论及其在人工智能，代理和多代理系统以及计算机科学中的应用。 他曾是Synthese，Studia Logica和Theoretical Computer Science等期刊的审稿人。 自2011年以来，他的研究主要致力于研究动态认知逻辑。
精品内容
专知会员服务
21+阅读 · 2019年8月10日
微信扫码咨询专知VIP会员 微信扫码咨询专知VIP会员