Similar to 制約論理プログラミング
ファジィ論理
Fuzzy logic
プログラム意味論
Semantics (computer science)
モデル検査
Model checking
Smn定理
Smn theorem
ギルモアのアルゴリズム
形式体系
Formal system
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
時相論理
Temporal logic
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
Μ再帰関数
General recursive function
アルゴリズム的確率
Algorithmic probability
Planner
Planner (programming language)
制約プログラミング
Constraint programming
0
0▼-1 trends
1
1▲5 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9