Title: Logische Grundlagen der Künstlichen Intelligenz