...
机译:通过标签演绎对论证建模进行建模:形式化和逻辑属性
Artificial Intelligence Research Group Department of Computer Science Universitat de Lleida C/Jaume II 69 E-25001 Lleida Spain;
Defeasible Argumentation; Knowledge Representation; Non-monotonic Inference; Labelled Deduction;
机译:用于可能论证的逻辑编程框架:形式化和逻辑属性
机译:基于感知的逻辑演绎推理下的模糊/语言IF-THEN规则系统中的冗余
机译:基于逻辑熵测度的超一致猜想推论I:C系统作为非标准推理框架
机译:关于承诺的游戏理论论证建立的逻辑形式
机译:随机参数化语法:形式化,推理和建模应用程序。
机译:编辑选择:正式化基于因果的建模在因果推断和流行病学中的作用
机译:通过标记推理进行论证推理:形式化和逻辑属性