Machine methods of proving logical arguments expressed in English.

Jared L. Darlington

Published in: Mech. Transl. Comput. Linguistics (1965)

Keyphrases

significant improvement
empirical studies
machine learning methods
knowledge base
benchmark datasets
statistical methods
database
data sets
databases
computer vision
bayesian networks
scheduling problem
text classification
computationally expensive
qualitative and quantitative
methods require