81 search results - page 17 / 17 » Decision Trees and MPI Collective Algorithm Selection Proble... |
144
Voted
FOIKS
2006
Springer
15 years 6 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...