Sciweavers

4573 search results - page 1 / 915
» Automated Reasoning
Sort
View
DLOG
2006
14 years 3 days ago
Automated Benchmarking of Description Logic Reasoners
Tom Gardiner, Ian Horrocks, Dmitry Tsarkov