逻辑程序的带推理引导的并行解释方法

机译：使用提升解释推理概率逻辑程序

机译：用于逻辑程序中解释性推理过程的可视化系统的实现

机译：带注释析取逻辑程序的推理

机译：具有受限的AND并行和OR并行的基于多系统的逻辑程序并行解释器

机译：一种混合方法，了解临床治疗师自洞察力和逆转带次数之间的联系：应用精神分析概念来解释逆转带处理和减少机会

机译：以学习者为中心的方法采用电信会议改善医学生的心理安全和临床推理会议的自我解释吗？交叉研究

机译：具有带注释的析取的逻辑程序的推理和答案推理

机译：用于基于规则的专家系统的并行推理方法和装置

机译：将外部知识纳入逻辑程序的方法和用于解释相同程序的计算机程序

机译：位置推理方法,位置推理设备,自动引导车

机译：并行处理引导/读取SOLOMON编码电路及其用于并行处理引导/读取SOLOMON编码方法