4 search results - page 1 / 1 » DLP and FaCT |
TABLEAUX
1999
Springer
14 years 3 months ago
1999
Springer
TABLEAUX
1998
Springer
14 years 3 months ago
1998
Springer
AISC
1998
Springer
14 years 3 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
DLOG
1998
14 years 6 days ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...