机译:通过知识收集行动消除基于假设的理论中的矛盾之处
IRIT-UPS;
IRIT-UPS;
inconsistency handling; knowledge-gathering actions; tests; assumption-based reasoning;
机译:曲率校正消除了二元经典成核理论的矛盾之处
机译:使用交互图上的整数线性规划来检测和消除实验数据与信令网络拓扑之间的矛盾
机译:基尔霍夫光学衍射理论,它的前身和随后的发展:不一致理论的弹性
机译:基于多主体假设规划的辩证理论
机译:从文献衍生的分子相互作用网络中消除不一致之处。
机译:使用交互图上的整数线性规划来检测和消除实验数据与信令网络拓扑之间的矛盾
机译:使用交互图上的整数线性规划检测和消除实验数据和信令网络拓扑之间的不一致。
机译:量子力学系统动力学理论的难点和可能性。第三部分 - 散射理论中的尺度效应不一致。第四部分光子 - 电子相互作用表示的不一致性