Deutsch
Login
Home
Search
Browse
Publish
FAQ
Refine
Year of publication
2012 (1)
(remove)
Language
English (1)
(remove)
Keywords
description logic (1)
(remove)
Institute
Fachbereich 4 (1)
(remove)
1
search hit
1
to
1
50
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
