36 search results - page 8 / 8 » dlog 2010 |
149
click to vote
DLOG
2010
15 years 1 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...