4 search results - page 1 / 1 » FaCT and DLP |
TABLEAUX
1999
Springer
13 years 8 months ago
1999
Springer
TABLEAUX
1998
Springer
13 years 8 months ago
1998
Springer
AISC
1998
Springer
13 years 8 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
13 years 5 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...