Similar to 制約論理プログラミング
12345679
イェール射撃問題
Yale shooting problem
フレーム問題
Frame problem
プロダクションシステム
Production system (computer science)
理論計算機科学
Theoretical computer science
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
計算木論理
Computation tree logic
計算複雑性理論
Computational complexity theory
計算理論
Theory of computation
計算論的哲学
Computational philosophy
形式言語
Formal language形式言語の階層
公理的意味論
Axiomatic semantics
コンビネータ論理
Combinatory logic
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schankデジタル物理学
Digital physics
二人の将軍問題
Two Generals' Problem
部分観測マルコフ決定過程
Partially observable Markov decision process
ホーン節
Horn clause
マルコフ決定過程
Markov decision process
ヨセフスの問題
Josephus problem
ラフ集合
Rough set一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics