退出
我的积分:
中文文献批量获取
外文文献批量获取
周林;
厦门大学法学院;
人工智能; 法律论证; 类比; 逻辑证成;
机译:逻辑,法律和人工智能中的论证图表
机译:YALLA中的论证更新(另外一种逻辑语言用于论证)
机译:规范和验证抽象论证框架的论证逻辑
机译:使用缺陷逻辑编程实现多智能体系中的论证
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:描述和CBT的论证成人aDHD
机译:基于演绎论证的基于逻辑的理论☆☆这是在德克萨斯州奥斯汀举行的美国国家人工智能会议论文集(AAAI'2000)上发表的题为“迈向基于逻辑论证的论点”的论文的扩展版本。麻省理工学院出版社,麻省剑桥,2000年。
机译:设计智能计算机辅助训练的方法论基础
机译:乘积[n]&[m] f(h)乘积[m] f(2)的论证和乘数[n] f(2)的论证生成方法-金字塔乘数的“附加代码”用于后续逻辑解码f(CD?)的f(??)和格式中结果和的生成[S] f(2)-“附加代码”及其实现的功能结构(俄罗斯逻辑版本)
机译:产品论证验证系统,论证对象,产品论证方法和特殊信息提供方法
机译:从命题逻辑论证满意公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。