推理

侦探小说, 小说, 推理, 经典文学, 美国文学

沉默的演说家 (The Silent Speaker)

侦探, 尼罗·伍尔夫, 推理小说, 沉默的演说家, 雷克斯·斯托特

侦探, 小说, 推理, 文学, 斯蒂芬·金

医生的案件 (The Doctor’s Case)

医生案件, 悬疑, 推理小说, 斯蒂芬·金, 福尔摩斯

亚里士多德, 哲学, 推理, 认知, 逻辑学

巴罗科 (Baroco)

三段论, 哲学逻辑, 巴罗科, 演绎推理, 逻辑

亚里士多德, 哲学, 形式逻辑, 推理, 逻辑学

巴拉立普顿 (Baralipton)

三段论, 亚里士多德逻辑, 巴拉立普顿, 推理形式, 逻辑

人工智能, 推理, 知识表示, 语义学, 逻辑编程

稳定模型语义 (Stable Model Semantics)

人工智能, 否定为失败, 稳定模型, 语义, 逻辑程序