机译:为什么逻辑如此可爱? 具有逻辑和喜好判断的参数评估的单一过程叙述
机译:论论证逻辑与命题逻辑
机译:一种计算机辅助系统,用于设计具有表示一组二进制逻辑参数的变量的多维逻辑控制器
机译:在基于逻辑的论证与古典逻辑句和信念收缩之间平衡合理性和效用
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:微流体逻辑门:压力驱动的两输入3D微流体逻辑门(Adv。Sci。2/2020)
机译:基于演绎论证的基于逻辑的理论☆☆这是在德克萨斯州奥斯汀举行的美国国家人工智能会议论文集(AAAI'2000)上发表的题为“迈向基于逻辑论证的论点”的论文的扩展版本。麻省理工学院出版社,麻省剑桥,2000年。