Knowledge-Compilation