LaLIC, University of Paris-Sorbonne;
机译:Caspar:根据自然语言和一阶逻辑推理,走向IoT的决策代理人
机译:具有医学数据的时间推理-着重于医学自然语言处理的评论。
机译:3D对象之间的空间关系:自然语言,拓扑和度量之间的关联
机译:使用组合逻辑和拓扑结构的自然语言,一个方面和时间关系
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:颞叶癫痫难以控制的受试者的口语言语和书面语言方面
机译:自然语言推理中的时间推理