Sciweavers

4573 search results - page 1 / 915
» Automated Reasoning
Sort
View
284
Voted
GIS
2000
ACM
15 years 6 days ago
Reviewer Acknowledgments
185
Voted
DLOG
2006
15 years 1 months ago
Automated Benchmarking of Description Logic Reasoners
Tom Gardiner, Ian Horrocks, Dmitry Tsarkov