DBLP:conf/cade/MotikSH07 + redirect page
Optimized Reasoning in Description Logics Using Hypertableaux + Has identifier
| Optimized Reasoning in Description Logics Using Hypertableaux |
Has publishing details
pp. 67-83, 2007
Has title
Optimized Reasoning in Description Logics Using Hypertableaux
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/cade/cade2007.html#MotikSH07
Has where published
CADE
Has year
2007
Has author
Boris Motik +, Rob Shearer +, Ian Horrocks +
Has identifier
Optimized Reasoning in Description Logics Using Hypertableaux +
Categories Proceeding Paper +
|
