人工知能学会誌（1986～2013, Print ISSN:0912-8085）
遺伝的プログラミングを用いた命題MEタブロー法による定理自動証明
1999 年 14 巻 3 号 p. 553-558
詳細
1999 年 14 巻 3 号 p. 553-558
In this paper, we study automated theorem proving based on Model Elimination (ME) tableau and genetic programming. We apply several GP-based search methods to propositional ME tableau calculus, and evaluate the performance of them experimentally.
