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