DBLP:conf/ijcai/TsarkovH05 + redirect page
Ordering Heuristics for Description Logic Reasoning + Has identifier
| Ordering Heuristics for Description Logic Reasoning |
Has publishing details
pp. 609-614, 2005
Has title
Ordering Heuristics for Description Logic Reasoning
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2005.html#TsarkovH05
Has where published
IJCAI
Has year
2005
Has author
Dmitry Tsarkov +, Ian Horrocks +
Has identifier
Ordering Heuristics for Description Logic Reasoning +
Categories Proceeding Paper +
|
