Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning
Addison-Wesley Pub. Co., 1989
 Buku Teks SO
Fine, Terrence L., atuhor
Probability and probabilistic reasoning for electrical engineering
Pearson Prentice Hall, 2006
 Buku Teks SO
Kurzweil, Ray
The age of intelligent machines
MIT Press, 1990
 Buku Teks SO
Intelligent knowledge based systems: an introduction
edited by Tim O'Shea; John Self
Harper & Row, 1987
 Buku Teks SO
Suyanto
Artificial intelligence : searching, reasoning, planning and learning
Informatika, 2007
 Buku Teks SO