机译:情态和时间论证网络
Department of Computer Science, University of Manchester, Manchester, MI3 9PL, UK;
Department of Computer Science, Bar-Ilan University, 52900 Ramat-Gan, Israel,Department of Informatics King's College London, Strand, London WC2R 2LS, UK,Computer Science and Communications, Faculty of Sciences, 6, rue Coudenhove-Kalergi, L-1359, Luxembourg;
Department of Philosophy, Univeristy British Columbia, Vancouver, Canada;
modal logic; temporal logic; argumentation networks; kripke models;
机译:模态和时间论证网络?
机译:论证网络的模态可证明性基础
机译:争论网络的模态证明基础
机译:跨模式训练下大脑重组的时间演变:编码和检索网络的功能架构的见解
机译:黑格尔的情态本体论论证
机译:ChronoMID-用于3-D时间医学成像数据的跨模态神经网络
机译:模态和时间论证网络