Thorsten Liebig Stephan Scheele Explaining Entailments and Patching Modelling Flaws. 25-27 2008 22 KI 2 http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/pdf/ki2008-02_page25_web_teaser.pdf db/journals/ki/ki22.html#LiebigS08