层次逻辑,一种新的知识表示方法

机译：产品系列设计的知识表示，检索和重用：一种反逻辑的方法

机译：一种基于状态的知识表示方法，用于预警系统中的信息逻辑不一致检测

机译：一阶谓词逻辑，模糊逻辑和非单调逻辑作为知识表示方法的比较

机译：一种基于逻辑方程组的知识表示与发现方法

机译：一种用于高效知识表示和推理的模态逻辑形式主义。

机译：一种基于逻辑的心理治疗方法来治疗专注于无故障逻辑功能的患者：一种案例研究方法

机译：用时态逻辑分析时态逻辑：一种基于区间的层次方法

机译：TaBLOG：一种新的逻辑编程方法。

机译：通过侵入逻辑块的逻辑层次结构不受限制地创建芯片的物理层次结构的系统

机译：一种信息建模，表示和集成的信息进程与不同型号的知识表示的无需使用正式语言的方法，这是一种基于结构化数据的有限集合来呈现描述这些对象的半结构化数据的方法

机译：分别评估逻辑电路的方法和设备，准备产品规格数据库的方法和设备，用于评估产品规格的方法和设备以及用于自动生成逻辑电路层次结构的方法和设备