Lemmatization for Stronger Reasoning in Large Theories.

Cezary Kaliszyk Josef Urban Jirí Vyskocil

Published in: FroCos (2015)

Keyphrases

computational properties
reasoning problems
neural network
artificial intelligence
knowledge base
knowledge representation
theoretical framework
reasoning process
reasoning mechanisms