Efficient Semantic Features for Automated Reasoning over Large Theories.

Cezary Kaliszyk Josef Urban Jirí Vyskocil

Published in: IJCAI (2015)

Keyphrases

automated reasoning
semantic features
knowledge representation
theorem prover
probabilistic reasoning
semantic information
theorem proving
active learning
low level features
neural network
information retrieval
information extraction
wordnet
visual features
semantic similarity