机译:命题合理逻辑:介绍和实现
School of Computing and Information Technology Griffith University;
School of Computing and Information Technology Griffith University;
Plausible Logic; Defeasible Logic; Non-monotonic reasoning; Artificial intelligence; Implementation; Haskell;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:一种基于直觉模糊命题逻辑的新颖合理推理及其在决策中的应用
机译:从命题逻辑到合理推理:唯一性定理
机译:命题合理逻辑的实施
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:命题合理逻辑的实现
机译:命题模态逻辑的矩阵定理证明器的实现