Institut für Informatik, Universität Freiburg

Literatur zur Kursvorlesung: "Grundlagen der Künstlichen Intelligenz"

Andere interessante Lehrbücher

• Günther Görz (Hrsg.), Einführung in die künstliche Intelligenz, 2.Auflage, Addison-Wesley, 1995.

• Patrick Henry Winston, Artificial Intelligence, 3rd ed., Addison-Wesley, 1992.

• Elaine Rich and Kevin Knight, Artificial Intelligence, 2nd ed., McGraw-Hill, 1991.

• Thomas Dean, James Allen, and Yiannis Aloimonos, Artificial Intelligence: Theory and Practice, Benjamin Cummings, 1995.

• Matt Ginsberg, Essentials of Artificial Intelligence, Morgan Kaufmann, 1993.

• Daniel Crevier, AI - The Tumultuous History of the Search for Artificial Intelligence, Harper and Collins, 1993.
  Besprechung des Buchs

Papiere zu Vorlesungsteilen, die nicht in AIMA behandelt werden

• Zum Thema Erfüllbarkeit und Modellkonstruktion
  1. David Mitchell, Bart Selman, and Hector Levesque, Hard and Easy Distribution of SAT Problems, Proceedings AAAI-92, 459-465.

  2. Bart Selman, Hector Levesque, and David Mitchell, A New Method for Solving Hard Satisfiability Problems, Proceedings AAAI-92, 440-446.

  3. Bart Selman, Henry Kautz, and Bram Cohen, Local Search Strategies for Satisfiability Testing, DIMACS Series in Discrete Mathematics, (to appear)

• Zum Thema Handlungsplanung
  1. A. Blum and M. Furst, Fast Planning Through Planning Graph Analysis, Artificial Intelligence 90(1-2): 279-298, 1997.