3 search results - page 1 / 1 » Comparison of Scoring and Order Approach in Description Logi... |
64
Voted
SOFSEM
2010
Springer
15 years 7 months ago
2010
Springer
DLOG
2010
14 years 8 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 ...
IJRR
2006
14 years 10 months ago
2006
Current technological developments and application-driven demands are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missio...