Dipartimento di Informatica - Universita del Piemonte Orientale A. Avogadro - via Bellini 25/G - 15100 Alessandria, Italy;
机译:非单调推理的KLM逻辑的解析Tableaux计算
机译:重复和无限性分析计算一阶理性Pavelka逻辑
机译:粗糙集决策逻辑的四值Tableau计算
机译:KLM Rational Logic R的解析表计算
机译:混合理性路线选择方法:使用来自模糊逻辑和层次分析法的概念。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:KLM Rational Logic R的解析表计算