机译:规范和验证抽象论证框架的论证逻辑
INRIA Sophia Antipolis, 06560 Sophia Antipolis Cedex, France;
University of Turin, C.so Svizzera 185, Turin, Italy;
King's College London, Surrey Street, London, Greater London WC2R 2LS, UK;
University of Luxembourg, 6, rue Richard Coudenhove - Kalergi, 1359 Luxembourg City, Luxembourg;
Delft University of Technology, Jaffalaan 5, NL-2628 BX Delft, The Netherlands;
argumentation theory; higher-order argumentation; modelling;
机译:用经典逻辑参数实例化抽象参数:假设和属性
机译:客户专栏:抽象论证框架中验证的复杂性
机译:论抽象论证框架的语义:逻辑编程方法
机译:用于抽象参数的动态逻辑框架:添加和删除参数
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:在基于问题的学习中进行小组讨论时医学生会产生合理的论点吗?:根据假设演绎推理框架对临床前医学生的论证进行分析
机译:规范和验证抽象论证框架的论证逻辑