机译:定性时间定性推理:点代数和ORD-Horn类的算法
Dipartimento di Elettronica per l'Automazione, Universita degli Studi di Brescia, Via Branze 38, I-25123 Brescia, Italy;
qualitative temporal reasoning; point algebra; interval algebra; point calculus; interval calculus; constraint satisfaction; constraint-based reasoning; incremental reasoning; tractable reasoning;
机译:时间推理的点代数:算法和复杂性
机译:代数IA(fuz):定性模糊时间推理框架
机译:定性时间约束推理中的复杂度分类
机译:时间约束的递减一致性检查:点代数和ORD-Horn类的算法
机译:具有约束的基于约束的时间推理算法。
机译:基于增量半监督支持向量机的分类算法
机译:定性时间定性推理:点代数和ORD-Horn类的算法