School of Mathematical Sciences, Peking University, China;
School of Mathematical Sciences, Peking University, China;
School of Information and Communication Technology, Griffith University, Australia;
机译:模态超一致逻辑表系统
机译:Tableau描述逻辑的推理及其对概率的扩展
机译:通过Tableau和饱和过程进行耦合的即用即付描述逻辑推理
机译:语义网络中的逻辑逻辑的准古典语义和Tableau微积分
机译:用于基于表格的描述逻辑推理的基于计划的公理吸收。
机译:通过将K最近邻算法与Logistic回归相结合来改进基于案例的推理系统以预测肾移植等待名单上的患者登记
机译:基于描述逻辑的系统中超一致和非单调推理的Tableau算法