English
Anmelden
Startseite
Suchen
Browsen
Veröffentlichen
FAQ
Autor(en)
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Titel
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Weitere Person(en)
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Gutachter
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Zusammenfassung
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Volltext
Alle Wörter
Keines der Wörter
Filtern
Schlagworte
Beschreibungslogik (1)
(entfernen)
1
Treffer
1
bis
1
100
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