Ki 2001 Advances In Artificial Intelligence door Franz Baader & T. Eiter