9 search results - page 1 / 2 » dlog 2000 |
86
Voted
DLOG
2000
15 years 4 months ago
2000
85
Voted
DLOG
2000
15 years 4 months ago
2000
89
Voted
DLOG
2000
15 years 4 months ago
2000
122
Voted
DLOG
2000
15 years 4 months ago
2000
130
Voted
DLOG
2000
15 years 4 months ago
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...