[Zurück]


Dissertationen (eigene und begutachtete):
M. Simkus:
"Nonmonotonic Logic Programs with Function Symbols";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, G. Gottlob; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; Rigorosum: 02.06.2010.

Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.