Meta-Level Knowledge: Overview and Applications