机译:正式论证中的优先规范
Zhejiang Univ, Ctr Study Language & Cognit, Hangzhou 310028, Zhejiang, Peoples R China;
Univ Abereden, Dept Comp Sci, Abereden AB24 3UE, Scotland;
CSC Lab Maison Nombre Belval, Eschr Sur Alzette, Luxembourg;
Lab I3S, Campus Tech Bldg Templier 1, F-06902 Sophia Antipolis, France;
deontic logic; formal argumentation; norms; normative systems; normative multiagent systems;
机译:基于辩论的指导性探究课程中的辩论和形式推理技巧
机译:基于辩论的指导性探究课程中的辩论和形式推理技巧
机译:动态参数系统:基于情境演算的参数化过程的形式化模型
机译:论证过程中的目标选择 - 论论证评估结构绑架的正式模型
机译:课堂社区中议论规范的使用。
机译:开放科学在大流行期间领导我们?公共讨论公开公开的权利
机译:正式论证中的优先规范