Semantic Graph Kernels for Automated Reasoning.

Evgeni Tsivtsivadze, Josef Urban, Herman Geuvers, Tom Heskes

Browse the full SDM paper archive.