KIT | KIT-Bibliothek | Impressum | Datenschutz

Reasoning in description logics using resolution and deductive databases

Motik, Boris

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000003797
Seitenaufrufe: 36
seit 29.04.2018
Downloads: 1604
seit 31.10.2008
Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Hochschulschrift
Jahr 2006
Sprache Englisch
Identifikator urn:nbn:de:swb:90-37972
KITopen-ID: 1000003797
Verlag Universität Karlsruhe, Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Wirtschaftswissenschaften (WIWI)
Prüfungsdaten 09.01.2006
Referent/Betreuer Prof. R. Studer
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page