Semantic Graph Kernels for Automated Reasoning.
Evgeni TsivtsivadzeJosef UrbanHerman GeuversTom HeskesPublished in: SDM (2011)
Keyphrases
- automated reasoning
- graph kernels
- knowledge representation
- theorem proving
- theorem prover
- structured data
- probabilistic reasoning
- kernel methods
- natural language
- data representation
- kernel function
- artificial intelligence
- constraint satisfaction
- regression model
- gaussian processes
- probabilistic model
- kernel machines