M. Simkus:
"Nonmonotonic Logic Programs with Function Symbols";
Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 2010-06-02.
Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen