Login / Signup
Progress Towards Effective Automated Reasoning with World Knowledge.
Geoff Sutcliffe
Martin Suda
Alexandra Teyssandier
Nelson Dellis
Gerard de Melo
Published in:
FLAIRS Conference (2010)
Keyphrases
</>
automated reasoning
world knowledge
probabilistic reasoning
knowledge representation
theorem proving
data mining
bag of words
image classification
logic programming
query expansion
semantic network
feature generation
human knowledge