Deutsch
Login
Home
Search
Browse
Publish
FAQ
Refine
Language
English (1)
(remove)
Has Fulltext
yes (1)
(remove)
Keywords
hypertableaux (1)
(remove)
1
search hit
1
to
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
to
1