Ordering Heuristics for Description Logic Reasoning
Dmitry Tsarkov and Ian Horrocks
Details
| Book Title |
Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005) |
| Pages |
609–614 |
| Year |
2005 |