3891 search results - page 126 / 779 » A logic for strategic reasoning |
216
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
147
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
159
Voted
CADE
2006
Springer
16 years 7 months ago
2006
Springer
