...
机译:非单调推理的KLM逻辑的解析Tableaux计算
Dipartimento di Informatica, Universita del Piemonte Orientale A. Avogadro, via Bellini 25/G, 15100 Alessandria, Italy;
Dipartimento di Informatica, Universita degli Studi di Torino, corso Svizzera 185, 10149 Turin, Italy;
LSIS-UMR CNRS 6168 Universite Paul Cezanne (Aix- Marseille 3), Marseille, France;
Dipartimento di Informatica, Universita degli Studi di Torino, corso Svizzera 185, 10149 Turin, Italy;
analytic tableaux calculi; nonmonotonic reasoning;
机译:谓词默认逻辑和其他非单调逻辑中的怀疑推理的后续计算
机译:标记为非单调推理的Tableaux:累积后果关系
机译:非单调推理早期发展中的从系统到逻辑
机译:非单调推理的KLM优先逻辑P的自由变量Tableaux的实现:定理证明FreeP 1.0
机译:基于非单调的逻辑和规则的法律推理
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:用于非单调推理的KLM逻辑的分析表结算
机译:LpNmR 2001 - 逻辑编程和非单调推理。国际会议(第六届)于2001年9月在奥地利维也纳举行