机译：使用标记演绎系统将不可行的论证形式化
机译：使用标签演绎系统在可辩驳的论证中将过程正式化
机译：用于在对话和论证模型中正式化社会承诺的时间模态不可行逻辑
机译：使用时间不可行逻辑在对话和论证模型中形式化社会承诺
机译：医学领域中基于不可行的推理和基于参数的系统：非正式概述
机译：完全不可行的论证框架
机译：在基于问题的学习中进行小组讨论时医学生会产生合理的论点吗？：根据假设演绎推理框架对临床前医学生的论证进行分析
机译：具有可争议优先权的可争议辩论系统
机译：可行的方言：一种以争议为导向的可行论证方法。
