Ordering Heuristics for Description Logic Reasoning

Dmitry Tsarkov, Ian Horrocks. Ordering Heuristics for Description Logic Reasoning. In Leslie Pack Kaelbling, Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. pages 609-614, Professional Book Center, 2005. [doi]

Authors

Dmitry Tsarkov

This author has not been identified. Look up 'Dmitry Tsarkov' in Google

Ian Horrocks

This author has not been identified. Look up 'Ian Horrocks' in Google