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]
@inproceedings{TsarkovH05:0, title = {Ordering Heuristics for Description Logic Reasoning}, author = {Dmitry Tsarkov and Ian Horrocks}, year = {2005}, url = {http://www.ijcai.org/papers/1352.pdf}, tags = {logic}, researchr = {https://researchr.org/publication/TsarkovH05%3A0}, cites = {0}, citedby = {0}, pages = {609-614}, booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, publisher = {Professional Book Center}, isbn = {0938075934}, }