English
Anmelden
Startseite
Suchen
Browsen
Veröffentlichen
FAQ
Filtern
Erscheinungsjahr
2012 (1)
(entfernen)
Sprache
Englisch (1)
(entfernen)
Schlagworte
Beschreibungslogik (1)
(entfernen)
1
Treffer
1
bis
1
20
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