推理

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

巴罗科 (Baroco)

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

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

巴拉立普顿 (Baralipton)

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

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

稳定模型语义 (Stable Model Semantics)

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

人物, 娱乐, 推理, 游戏, 角色

格林先生 (Mr. Green)

Clue, Mr. Green, 妙探寻凶, 格林先生, 角色

小说, 惊悚, 推理, 政治, 美国文学

刺客的祈祷 (Prayers for the Assassin)

刺客, 悬疑, 政治惊悚, 犯罪小说, 罗伯特·费尔