Logische Grundlagen der künstlichen Intelligenz / Michael R. Genesereth ; Nils J. Nilsson. Übers. u. bearb. von Michael Tarnowski