Similar to クヌース・ベンディックス完備化アルゴリズム
失敗による否定
Negation as failure
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schank
述語変換意味論
Predicate transformer semantics
双模倣性
Bisimulationデジタル物理学
Digital physics
表明 (プログラミング)
Assertion (software development)
ファジィ論理
Fuzzy logic
二人の将軍問題
Two Generals' Problem
部分観測マルコフ決定過程
Partially observable Markov decision process
プログラム意味論
Semantics (computer science)閉世界仮説
Closed-world assumption
ホーン節
Horn clause
マルコフ決定過程
Markov decision process
モデル検査
Model checking
ヨセフスの問題
Josephus problem
ラフ集合
Rough set一階述語論理
First-order logic
一般と特殊 (数学)
Special case意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation
完全性
Completeness (logic)