Teil IILogische Grundlagen der Künstlichen Intelligenz