%0 Conference Paper %1 conf/ijcai/TsarkovH05 %A Tsarkov, Dmitry %A Horrocks, Ian %B IJCAI %D 2005 %E Kaelbling, Leslie Pack %E Saffiotti, Alessandro %I Professional Book Center %K dblp %P 609-614 %T Ordering Heuristics for Description Logic Reasoning. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2005.html#TsarkovH05 %@ 0938075934

@inproceedings{conf/ijcai/TsarkovH05, added-at = {2022-04-12T00:00:00.000+0200}, author = {Tsarkov, Dmitry and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/21ec05fa85c6309d038c705e3ea8cb028/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2005}, editor = {Kaelbling, Leslie Pack and Saffiotti, Alessandro}, ee = {http://ijcai.org/Proceedings/05/Papers/1352.pdf}, interhash = {714216209f08affc918345a0900b31cf}, intrahash = {1ec05fa85c6309d038c705e3ea8cb028}, isbn = {0938075934}, keywords = {dblp}, pages = {609-614}, publisher = {Professional Book Center}, timestamp = {2024-04-10T11:33:22.000+0200}, title = {Ordering Heuristics for Description Logic Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2005.html#TsarkovH05}, year = 2005 }