Part of the Computer Sciences Commons
Exploring Semantic Hierarchies to Improve Resolution Theorem Proving on Ontologies, Stanley Small Honors College
PDF
Advanced Search