Stuart Russell, Peter Norvig: Artificial Intelligence. A modern approach
David S. Touretzky: Common Lisp: A Gentle Introduction to Symbolic Computation (Downloadseite)
Vorkenntnisse: Mathematische Grundkenntnisse, Kenntnisse der klassischen Aussagen- und Prädikatenlogik, Fähigkeit, selbst einfache Beweise zu führen.