一种用于构造DAI系统模型的扩展时态信念逻辑

机译：PDT逻辑：多智能体系统中信念推理的概率时态逻辑

机译：PDT逻辑：多智能体系统中信念推理的概率时态逻辑

机译：微水流发电系统Daikin是一种小尺寸，低成本的系统提案，可用于扩增扩展

机译：多时态Landsat和Sar影像对Idai旋风引起的变化的扩展性和幅度的映射

机译：一种模态时态逻辑，用于推理变更数据库，并将其应用于自然语言问题回答（人工智能）。

机译：用于临床决策支持系统中的时态数据管理的扩展SQL。

机译：一种关联系统概念基础构造的方法：单词之间的逻辑关系的属性扩展

机译：线性时态逻辑的模型检验：一种有效的实现方法

机译：用于构造扩展权重更新类型的自组织映射的程序，用于利用构造的扩展权重更新类型的自组织映射和用于特征值估计的装置来估计特征值的程序，用于应用扩展权重的更新模型

机译：用于显示地质构造模型的方法，用于显示和使用地质构造模型的方法。用于使用多个二维图形来显示内部具有井孔的地质结构的三维图像的方法用于显示包含竖井孔的训练模型的系统，用于在地质构造中的竖井孔上显示地质结构。以及有助于可视化地质构造性质变化的方法

机译：设计电路系统，扩展现有方法以评估电路设计的可行性，执行电路设计的可行性评估，完善电路设计的第一决策规则，形成电路设计的第二决策规则的方法电路设计，用于为多个预先设计的电路块组织设计者的经验数据，提高胶粘逻辑分配效率，并在设计块之间分配胶粘的多个逻辑元素，并分配胶粘逻辑以在集成电路设备设计中执行方案，转换特定于电路块的接口，选择电路收集器，设计一种包含使能设备测试以验证a正确操作的设备，并开发行为测试台，项圈接口和接口系统