机译:使用可行逻辑推理知识
Centre for Research in Reasoning, Argumentation, and Rhetoric (CRRAR), University of Windsor, 2500 University Ave. W., Windsor, Ontario, Canada N9B 3Y1;
bounded procedural rationality; defeasible logic; inquiry; carneades argumentation system; truth and knowledge; evidence; standards of proof; scientific knowledge; falsification; reasoning from absence of knowledge;
机译:使用缺陷逻辑的知识推理
机译:合理和相关语义下无法描述逻辑εL_⊥-计算标准推理中的推理
机译:关于概念逻辑的说明和作用典型性,在本体上不可避免的推理
机译:带有不可思议的宗逻辑的实用规范推理
机译:一种基于假设的事实维护系统的理论设计的方法,用于可废止的推理。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:关于描述逻辑的缺陷推理的KLM视角
机译:使用元级别架构隐喻的可行性推理的认知逻辑