Sciweavers

FLAIRS
2010
14 years 1 days ago
Progress Towards Effective Automated Reasoning with World Knowledge
There is a growing demand for automated reasoning with world knowledge. SPASS-XDB is an automated reasoning system that incorporates world knowledge from multiple external sources...
Geoff Sutcliffe, Martin Suda, Alexandra Teyssandie...