Bücher

• Russell, Stuart, and Peter Norvig. Artificial Intelligence: A Modern Approach (3rd Edition). Prentice Hall, 2009.
• Wilfrid Hodges. Logic: An Introduction to Elementary Logic (2nd Edition). Penguin Books, 1980

Aufsätze

• A. M. Turing. Computing machinery and intelligence. Mind, 1950
• Brian Ferris and Jon Froehlich. WalkSAT as an Informed Heuristic to DPLL in SAT Solving. 2004

• Vorlesung 1 vom 30.03.2012
• Vorlesung 2 vom 13.04.2012
• Übungsblatt 1 vom 13.04.2012
• Vorlesung 3 vom 20.04.2012
• Übungsblatt 2 vom 20.04.2012
• Vorlesung 4 vom 27.04.2012
• Übungsblatt 3 vom 27.04.2012
• Vorlesung 5 vom 04.05.2012
• Übungsblatt 4 vom 04.05.2012
• Vorlesung 6 vom 10.05.2012
• Muster Bohnenspiel-Aufgabe
• Übungsblatt 5 vom 10.05.2012