English
Anmelden
Startseite
Suchen
Browsen
Veröffentlichen
FAQ
Filtern
Autor
Faßbender, Dennis (1)
(entfernen)
Dokumenttyp
Diplomarbeit (1)
(entfernen)
Schlagworte
Beschreibungslogik
(1)
Hypertableaux
(1)
description logic
(1)
hypertableaux
(1)
shiq
(1)
Institut
Fachbereich 4 (1)
(entfernen)
1
Treffer
1
bis
1
10
10
20
50
100
The DLE-Hyper Tableau Calculus: a Decision Procedure for SHIQ
(2012)
Faßbender, Dennis
This thesis introduces the DLE-Hyper Tableau calculus, an extension of the E-Hyper Tableau calculus that is a decision procedure for the Description Logic SHIQ.
1
bis
1