16206 search results - page 124 / 3242 » At Issue |
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
SSDBM
1998
IEEE
15 years 6 months ago
1998
IEEE
ACCV
1998
Springer
15 years 6 months ago
1998
Springer
ASSISTIVE
1998
Springer
15 years 6 months ago
1998
Springer
117
click to vote
FTP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...