N.J. Nilsson, Artificial Intelligence: A New Synthesis T. Dean, J. Allen and Y. Aloimonos, Artificial Intelligence: Theory and Practice D. Poole, A. Mackworth and R. Goebel, Computational Intelligence: A Logical Approach S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach