Aix Marseille Universite CNRS ENS AM Universite de Toulon LSIS UMR 7296 13397 Marseille Prance;
Technische Universitat Wien Vienna Austria;
Dipartimento di Informatica Universita di Torino Turin Italy;
Departement Informatique Ecole Speciale Militaire de Saint-Cyr Guer France;
机译:反事实逻辑的自然演绎计算和后续计算
机译:谓词默认逻辑和其他非单调逻辑中的怀疑推理的后续计算
机译:反事实先例的推理是否是反事实推理的证据?
机译:vinte:刘易斯反事工程逻辑的内部计算的实施
机译:非确定性拉姆达计算模理论H *中的自动方程推理。
机译:来自反事实的前一种证据的推理是反事实推理的吗?
机译:vinte:刘易斯反事工程逻辑的内部计算的实施