A logical machine for measuring problem solving ability.

Charles R. Langmuir

Published in: IRE-AIEE-ACM Computer Conference (Eastern) (1960)

Keyphrases

databases
neural network
search engine
logical operations
logical representation
probabilistic logic
relational databases
batch processing
logical framework
learning machines
first order logic
probabilistic model
database
multi agent
case study
machine learning
real time